A survey of the project Automath." In: To H.B. Curry: Essays in combinatory logic, lambda calculus and formalism (1980)

by N G De Bruijn