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


    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