de Bruijn. A survey of the project Automath (1980)

by N G
Venue:In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism