1980] "A survey of the project AUTHOMATH (0)

by N de Bruijn
Venue:in To H.B. Curry: essays in Combinatory Logic, lambda calculus and formalism