Aarhus University Seal / Aarhus Universitets segl

Guarded Recursive Type Theory

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

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

See relations at Aarhus University Citationformats

ID: 103367652