Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    11 Citations (Scopus)
    110 Downloads (Pure)
    Original languageEnglish
    Title of host publicationSelected papers on Automath
    EditorsR.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Company
    Pages375-388
    ISBN (Print)0-444-89822-0
    Publication statusPublished - 1994

    Publication series

    NameStudies in logic and the foundations of mathematics
    Volume133

    Cite this