![](/img/cover-not-exists.png)
Model structure on the universe of all types in interval type theory
Boulier, Simon, Tabareau, NicolasJournal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129520000213
Date:
October, 2020
File:
PDF, 1.53 MB
2020