Skip to main content
SpringerLink
Log in

Preface: Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn

  • Preface
  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. van Benthem Jutting, L. S.: A translation of Landau's “Grundlagen” in AUTOMATH, Technical Report, Eindhoven University of Technology, 1976.

  2. 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).

    Google Scholar 

  3. de Bruijn, N. G.: AUTOMATH, a language for mathematics, Technical Report 68-WSK-05, T.H.-Reports, Eindhoven University of Technology, 1968.

  4. 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.

  5. de Bruijn, N. G.: Reflections on Automath, Eindhoven University of Technology, 1990. Also in [12], pp. 201–228.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. Coquand, T. and Huet, G.: The calculus of constructions, Inform. and Comput. 76(2/3) (February/March 1988), 95–120.

    Google Scholar 

  8. Curry, H. B. and Feys, R.: Combinatory Logic I, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1958.

    Google Scholar 

  9. Howard, W. A.: The formulas-as-types notion of construction, in [13], 1980, pp. 479–490.

    Google Scholar 

  10. Laan, T.: The evolution of type theory in logic and mathematics, Ph.D. thesis, Eindhoven University of Technology, 1997.

  11. Landau, E.: Grundlagen der Analysis, Leipzig, 1930.

  12. Nederpelt, R., Geuvers, J. H. and de Vrijer, R. C.: Selected Papers on Automath, North-Holland, Amsterdam, 1994.

  13. 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.

    Google Scholar 

Download references

Authors
  1. Fairouz Kamareddine
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1021977414812

Search

Navigation