Guarded Recursive Type Theory

Publikation: ForskningPh.d.-afhandling

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

Se relationer på Aarhus Universitet Citationsformater

ID: 103367652