7

Parametricity and semi-cubical types
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