Pages that link to "Item:Q3130300"
From MaRDI portal
The following pages link to Natural models of homotopy type theory (Q3130300):
Displayed 14 items.
- The universal exponentiable arrow (Q2078410) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- (Q4611379) (← links)
- (Q4611383) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- (Q5089004) (← links)
- (Q5094128) (← links)
- (Q5141620) (← links)
- (Q5155672) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- (Q6153331) (← links)