Logical Relations and the Typed -Calculus (1985)

by R Statman
Venue:Information and Control