References
van Benthem Jutting, L. S.: A translation of Landau's “Grundlagen” in AUTOMATH, Technical Report, Eindhoven University of Technology, 1976.
van Benthem Jutting, L. S.: Checking Landau's “Grundlagen” in the Automath system, Ph.D. thesis, Eindhoven University of Technology, 1977. Published as Mathematical Centre Tracts nr. 83 (Amsterdam, Mathematisch Centrum, 1979).
de Bruijn, N. G.: AUTOMATH, a language for mathematics, Technical Report 68-WSK-05, T.H.-Reports, Eindhoven University of Technology, 1968.
de Bruijn, N. G.: The mathematical language AUTOMATH, its usage and some of its extensions, in M. Laudet, D. Lacombe, and M. Schuetzenberger (eds), Symposium on Automatic Demonstration, IRIA, Versailles, 1968, pp. 29–61. Lecture Notes in Math. 125, Springer-Verlag, Berlin, 1970; also in [12], pp. 73–100.
de Bruijn, N. G.: Reflections on Automath, Eindhoven University of Technology, 1990. Also in [12], pp. 201–228.
de Bruijn, N. G.: Lambda-Calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church–Rosser Theorem, Indag. Mat. 34(5) (1972), 381–392.
Coquand, T. and Huet, G.: The calculus of constructions, Inform. and Comput. 76(2/3) (February/March 1988), 95–120.
Curry, H. B. and Feys, R.: Combinatory Logic I, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1958.
Howard, W. A.: The formulas-as-types notion of construction, in [13], 1980, pp. 479–490.
Laan, T.: The evolution of type theory in logic and mathematics, Ph.D. thesis, Eindhoven University of Technology, 1997.
Landau, E.: Grundlagen der Analysis, Leipzig, 1930.
Nederpelt, R., Geuvers, J. H. and de Vrijer, R. C.: Selected Papers on Automath, North-Holland, Amsterdam, 1994.
Seldin, J. P. and Hindley, J. R. (eds), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York, 1980.
Rights and permissions
About this article
Cite this article
Kamareddine, F. Preface: Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn. Journal of Automated Reasoning 29, 183–188 (2002). https://doi.org/10.1023/A:1021977414812
Issue Date:
DOI: https://doi.org/10.1023/A:1021977414812