A survey of the project Automath. de Bruijn, N. In Seldin, J. P. & Hindley, J. R., editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.
bibtex   
@incollection{deBruijn80,
  author = {N.J. de Bruijn},
  booktitle = {{To H.B. Curry: Essays on Combinatory Logic, 
                        Lambda Calculus and Formalism}},
  editor = {J. P. Seldin and J. R. Hindley},
  publisher = {Academic Press},
  title = {A survey of the project {Automath}},
  year = 1980
}

Downloads: 0