Introduction to type theory

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Vingerafdruk Duik in de onderzoeksthema's van 'Introduction to type theory'. Samen vormen ze een unieke vingerafdruk.

Sociale wetenschappen