Guarded Recursive Type Theory

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

OriginalsprogEngelsk
ForlagDepartment of Computer Science, Aarhus University
Antal sider189
StatusUdgivet - 9 dec. 2016

Se relationer på Aarhus Universitet Citationsformater

ID: 103367652