Similar Items: Globular: an online proof assistant for higher-dimensional rewriting
- Algebraic coherent confluence and higher globular Kleene algebras
- Towards 3-Dimensional Rewriting Theory
- On linear rewriting systems for Boolean logic and some applications to proof theory
- From nominal to higher-order rewriting and back again
- Complexity Hierarchies and Higher-order Cons-free Term Rewriting
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting