• 233
    Citations - based on content available in repository [source: Scopus]
1970 …2022

Content available in repository

Filter
Chapter

Search results

  • 2012

    A history of types

    Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2012, Logic: A History of its Central Concepts. Gabbay, D. M., Pelletier, F. J. & Woods, J. (eds.). Elsevier, p. 451-511 (Handbook of the History of Logic; vol. 11).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Citations (Scopus)
  • 2003

    De Bruijn's Automath and pure type systems

    Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, Thirty Five Years of Automating Mathematics. Kamareddine, F. D. (ed.). Dordrecht: Kluwer Academic Publishers, p. 71-124 (Applied Logic Series; vol. 28).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 1994

    Strong normalization in a typed lambda calculus with lambda structured types

    Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 389-468 (Studies in Logic; vol. 133).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Citations (Scopus)
  • Twenty-five years of Automath research

    Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 3-54 (Studies in Logic; vol. 133).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    23 Citations (Scopus)
    2 Downloads (Pure)
  • Typed lambda-calculus

    Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, R. P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (eds.). Frankfurt am Main: Peter Lang, p. 168-199

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)
  • Type systems : basic ideas and applications

    Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 229-247 (Studies in Logic; vol. 133).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)
  • Untyped lambda-calculus

    Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (eds.). Frankfurt am Main: Peter Lang, p. 132-167

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)