Kripke-style models for typed lambda calculus (1991)

by J C Mitchell, E Moggi
Venue:Annals of Pure and Applied Logic