Linear contextual modal type theory

Anders Schack-Nielsen, Carsten Schürmann

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'Linear contextual modal type theory'. Sammen danner de et unikt fingeraftryk.

Computer Science

Keyphrases