A description of Automath and some aspects of its language theory

D.T. van Daalen

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    2 Citations (Scopus)

    Fingerprint

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

    Mathematics

    Computer Science

    Arts and Humanities