Kripke-Style models for typed lambda calculus

John C. Mitchell, Eugenio Moggi

Browse the full LICS paper archive.