Aarhus Universitets segl

English

Du er her: AU » Om AU » Organisation » Guarded Recursive Type Theory

Om AU

Guarded Recursive Type Theory

Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling

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

Se relationer på Aarhus Universitet Citationsformater

ID: 103367652