The mathematical language Automath, its usage, and some of its extensions

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    5 Citations (Scopus)
    36 Downloads (Pure)

    Abstract

    No abstract.
    Original languageEnglish
    Title of host publicationSelected Papers on Automath
    EditorsR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Company
    Pages73-100
    ISBN (Print)0-444-89822-0
    Publication statusPublished - 1994

    Publication series

    NameStudies in logic and the foundations of mathematics
    Volume133
    ISSN (Print)0049-237X

    Cite this

    Bruijn, de, N. G. (1994). The mathematical language Automath, its usage, and some of its extensions. In R. P. Nederpelt, J. H. Geuvers, & R. C. Vrijer, de (Eds.), Selected Papers on Automath (pp. 73-100). (Studies in logic and the foundations of mathematics; Vol. 133). North-Holland Publishing Company.