Pages that link to "Item:Q1799035"
From MaRDI portal
The following pages link to A cubical model of homotopy type theory (Q1799035):
Displaying 12 items.
- Equipping weak equivalences with algebraic structure (Q2305674) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- (Q5028425) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Naive cubical type theory (Q5055495) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- (Q5089034) (← links)
- (Q5094128) (← links)
- Arrow categories of monoidal model categories (Q5242808) (← links)
- (Q6079232) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
- Kripke-Joyal forcing for type theory and uniform fibrations (Q6586829) (← links)
