Similar Items: Canonicity and homotopy canonicity for cubical type theory
- Modalities in homotopy type theory
- Constructive Canonicity of Inductive Inequalities
- Cellular Cohomology in Homotopy Type Theory
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
- On the Nielsen-Schreier Theorem in Homotopy Type Theory
- 2-adjoint equivalences in homotopy type theory