The formulae-as-types notion of construction (1980)

by W A Howard
Venue:In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism