A Survey of the project automath, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (1980)

by N G de Bruijn
Venue:RR n2915 22 Gilles Dowek