Kripke-style models for typed lambda calculus (1991)

by John C Mitchell, Eugenio Moggi
Venue:Annals of Pure and Applied Logic