The language theory of Automath : Chapter VIII, 1 and 2 (AUT-II)

D.T. van Daalen

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Fingerprint

    Dive into the research topics of 'The language theory of Automath : Chapter VIII, 1 and 2 (AUT-II)'. Together they form a unique fingerprint.

    Social Sciences

    Arts and Humanities

    Economics, Econometrics and Finance