A description of Automath and some aspects of its language theory

D.T. van Daalen

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Fingerprint

    Dive into the research topics of 'A description of Automath and some aspects of its language theory'. Together they form a unique fingerprint.

    Arts & Humanities