Back to Results
First PageMeta Content

MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an
Add to Reading List

Document Date: 2018-03-28 14:04:14

Open Document

File Size: 205,77 KB

Share Result on Facebook