Logical relations and the typed lambda calculus (1985)

by Richard Statman
Venue:Information and Control