Title: Atmospheric leptons, the search for a prompt component

Abstract: The flux of high-energy (>GeV) neutrinos consists primarily of those produced by cosmic-ray interactions in the atmosphere. The contribution from extraterrestrial sources is still unknown. Current limits suggest that the observed spectrum is dominated by atmospheric neutrinos up to at least 100 TeV. The contribution of charmed hadrons to the flux of atmospheric neutrinos is important in the context of the search for astrophysical neutrinos because the spectrum of such "prompt" neutrinos is harder than that of "conventional" neutrinos from decay of pions and kaons. The prompt component therefore becomes increasingly important as energy increases. This paper reviews the status of the search for prompt muons and neutrinos with emphasis on the complementary aspects of muons, electron neutrinos and muon neutrinos.