Pages that link to "Item:Q3598111"

The following pages link to Homotopy theoretic models of identity types (Q3598111):

Displaying 4 items.

• The Local Universes Model (Q2957763) (← links)
• A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
• Games for Dependent Types (Q3449463) (← links)
• Introduction – from type theory and homotopy theory to univalent foundations (Q5740647) (← links)