Pages that link to "Item:Q2319981"
From MaRDI portal
The following pages link to The univalence axiom in cubical sets (Q2319981):
Displaying 12 items.
- C-sets of \(n\)-uninorms (Q834514) (← links)
- On the Morse number of embedded and non-embedded minimal immersions spanning wires on the boundary of special bodies in \({\mathbb{R}}^ 3\) (Q1819428) (← links)
- 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)
- A Constructive Model of Directed Univalence in Bicubical Sets (Q5145691) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- Univalence and ontic structuralism (Q6586941) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)