A description of Automath and some aspects of its language theory

D.T. van Daalen

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic


    definition and an overview of the language theory. Thus it can serve as an introduction to the papers [van Benthem Jutting 73] and [Zandlevem 73 (E.1)]. Among the various Automath languages this paper concentrates on the original version AUT-68 (because of its relative simplicity) and one extension AUT-QE (in which most texts have been written thus far). The contents are: 1. Introductory remarks. 2. Informal description of AUT-68. 3. Mathematics in Automath: propositions and types. 4. Extension of AUT-68 to AUT-QE. 5. A formal definition of AUT-QE. 6. Some remarks on language theory.
    Originele taal-2Engels
    TitelSelected Papers on Automath
    RedacteurenR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
    Plaats van productieAmsterdam
    UitgeverijNorth-Holland Publishing Company
    ISBN van geprinte versie0-444-89822-0
    StatusGepubliceerd - 1994

    Publicatie series

    NaamStudies in Logic

    Vingerafdruk Duik in de onderzoeksthema's van 'A description of Automath and some aspects of its language theory'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit