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
{"_id":"ntFPbtzmqGgd7P3aH","bibbaseid":"debruijn-asurveyoftheprojectautomath-1980","downloads":0,"creationDate":"2016-02-08T21:26:15.700Z","title":"A survey of the project Automath","author_short":["de Bruijn, N."],"year":1980,"bibtype":"incollection","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["N.J."],"propositions":["de"],"lastnames":["Bruijn"],"suffixes":[]}],"booktitle":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","editor":[{"firstnames":["J.","P."],"propositions":[],"lastnames":["Seldin"],"suffixes":[]},{"firstnames":["J.","R."],"propositions":[],"lastnames":["Hindley"],"suffixes":[]}],"publisher":"Academic Press","title":"A survey of the project Automath","year":"1980","bibtex":"@incollection{deBruijn80,\r\n author = {N.J. de Bruijn},\r\n booktitle = {{To H.B. Curry: Essays on Combinatory Logic, \r\n Lambda Calculus and Formalism}},\r\n editor = {J. P. Seldin and J. R. Hindley},\r\n publisher = {Academic Press},\r\n title = {A survey of the project {Automath}},\r\n year = 1980\r\n}\r\n\r\n","author_short":["de Bruijn, N."],"editor_short":["Seldin, J. P.","Hindley, J. R."],"key":"deBruijn80","id":"deBruijn80","bibbaseid":"debruijn-asurveyoftheprojectautomath-1980","role":"author","urls":{},"downloads":0},"search_terms":["survey","project","automath","de bruijn"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}