Guarded Recursive Type Theory

Publication: ResearchPh.D. thesis

Original languageEnglish
PublisherDepartment of Computer Science, Aarhus University
Number of pages189
StatePublished - 9 Dec 2016

See relations at Aarhus University Citationformats

ID: 103367652