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

by G Nicolas
Venue:Essays in Combinatory Logic, Lambda Calculus and Formalism