A survey of the project AUTOMATH (1980)

by N de Bruijn
Venue:Essays on Combinatory Logic, Lambda Calculus and Formalism