Guarded Recursive Type Theory

Publikation: ForskningPh.d.-afhandling

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

Se relationer på Aarhus Universitet Citationsformater

ID: 103367652