Guarded Recursive Type Theory

Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

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

See relations at Aarhus University Citationformats

ID: 103367652