N.G. de Bruijn (debruijn-ng)

Contributions to Philosophie.ch

Bibliography

de Bruijn, N. G. 1980. “A Survey of the Project Automath.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 579–579. New York: Academic Press.