The language theory of Automath

D.T. van Daalen

    Onderzoeksoutput: ScriptieDissertatie 2 (Onderzoek NIET TU/e / Promotie TU/e)

    451 Downloads (Pure)
    Originele taal-2Engels
    KwalificatieDoctor in de Filosofie
    Toekennende instantie
    • Department of Mathematics and Computer Science
    Begeleider(s)/adviseur
    • de Bruijn, Nicolaas , Promotor
    • Peremans, W., Promotor
    Datum van toekenning15 feb 1980
    Plaats van publicatieEindhoven
    Uitgever
    DOI's
    StatusGepubliceerd - 1980

    Citeer dit

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