Pages that link to "Item:Q2319981"
From MaRDI portal
The following pages link to The univalence axiom in cubical sets (Q2319981):
Displaying 7 items.
- Model structure on the universe of all types in interval type theory (Q5022925) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- (Q5028425) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- (Q5091148) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
