Pages that link to "Item:Q1799035"
From MaRDI portal
The following pages link to A cubical model of homotopy type theory (Q1799035):
Displaying 17 items.
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- Equipping weak equivalences with algebraic structure (Q2305674) (← links)
- (Q2968413) (← links)
- An algebraic weak factorisation system on 01-substitution sets: a constructive proof (Q2974664) (← links)
- (Q4611379) (← 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)
- A cubical model of homotopy type theory (Q6275810) (← links)
- Kripke-Joyal forcing for type theory and uniform fibrations (Q6586829) (← links)