Home
Publications
Talks
Contact
Light
Dark
Automatic
7
Cubical models are cofreely parametric
A parametric model of type theory is defined as a model where any type comes with a relation and any term respects these. Intuitively, …
Hugo Moeneclaey
PDF
Cite
Quasi-categories and complete Segal spaces
Supervised by Georges Maltsiniotis.
We present the article of the same name by Joyal and Tierney. It builds two Quillen equivalences …
Hugo Moeneclaey
PDF
Cite
Cite
×