![](/img/cover-not-exists.png)
Denotational semantics for guarded dependent type theory
Bizjak, Aleš, Møgelberg, Rasmus EjlersJournal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129520000080
Date:
May, 2020
File:
PDF, 1.16 MB
2020