A survey of the project AUTOMATH (1980)

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