Search Results for 'abstractthecubicalsetsmodelofhomotopytypetheoryintroducedbybezem'
abstractthecubicalsetsmodelofhomotopytypetheoryintroducedbybezem published presentations and documents on DocSlides.
Nominal Presentation of Cubical Sets Models of Type Theory
by tatiana-dople
AbstractThecubicalsetsmodelofHomotopyTypeTheoryint...