Guarded Cubical Type Theory

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Automated Reasoning
Volume63
Issue2
Pages (from-to)211-253
Number of pages43
ISSN0168-7433
DOIs
Publication statusPublished - 2019

See relations at Aarhus University Citationformats

ID: 172541112