Logical relation and the typed lambda calculus (1985)

by R Statman
Venue:Information and Control