Pages that link to "Item:Q2319982"
From MaRDI portal
The following pages link to Canonicity for cubical type theory (Q2319982):
Displaying 13 items.
- Guarded cubical type theory (Q2319985) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- (Q4611379) (← 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)
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities (Q5079726) (← links)
- (Q5089011) (← links)
- (Q5089034) (← links)
- (Q5094128) (← links)
- On equivalence and canonical forms in the LF type theory (Q5277716) (← links)
- Internal Parametricity for Cubical Type Theory (Q5874199) (← links)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)