Kripke-Style Models for Typed Lambda Calculus (1996)

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