The following pages link to Type-theory in color (Q5244789):
Displaying 4 items.
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Towards a Cubical Type Theory without an Interval (Q4580224) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- A presheaf model of parametric type theory (Q5971392) (← links)
