Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Paper i proceeding, 2016
Författare
Lars Birkedal
Aarhus Universitet
Aleš Bizjak
Aarhus Universitet
Ranald Clouston
Aarhus Universitet
Hans Bugge Grathwohl
Aarhus Universitet
Bas Spitters
Aarhus Universitet
Andrea Vezzosi
Chalmers, Data- och informationsteknik, Datavetenskap
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 62 23:1-23:17978-3-95977-022-4 (ISBN)
Fundament
Grundläggande vetenskaper
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.CSL.2016.23
ISBN
978-3-95977-022-4