Similar Items: Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
- Cartesian Difference Categories
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- Contextual equivalence for higher-order pi-calculus revisited
- From nominal to higher-order rewriting and back again
- Complexity Hierarchies and Higher-order Cons-free Term Rewriting