A description of Automath and some aspects of its language theory

D.T. van Daalen

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    Vingerafdruk

    Duik in de onderzoeksthema's van 'A description of Automath and some aspects of its language theory'. Samen vormen ze een unieke vingerafdruk.

    Kunst en humaniteit