Guarded Recursive Type Theory

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

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

Citationsformater