Similar Items: Constructive Canonicity of Inductive Inequalities
- Canonicity and homotopy canonicity for cubical type theory
- Constructing Higher Inductive Types as Groupoid Quotients
- A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
- Canonical calculi with (n,k)-ary quantifiers
- Canonical Models and the Complexity of Modal Team Logic
- Minimization and Canonization of GFG Transition-Based Automata