Pages that link to "Item:Q2319982"
From MaRDI portal
The following pages link to Canonicity for cubical type theory (Q2319982):
Displaying 8 items.
- Guarded cubical type theory (Q2319985) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- (Q5089011) (← links)
- (Q5089034) (← links)
- (Q5094128) (← links)
