The language theory of Automath

D.T. van Daalen

    Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

    441 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Department of Mathematics and Computer Science
    Supervisors/Advisors
    • de Bruijn, Nicolaas , Promotor
    • Peremans, W., Promotor
    Award date15 Feb 1980
    Place of PublicationEindhoven
    Publisher
    DOIs
    Publication statusPublished - 1980

    Cite this

    van Daalen, D. T. (1980). The language theory of Automath. Technische Hogeschool Eindhoven. https://doi.org/10.6100/IR85774