Similar Items: 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
- A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
- Partial Order Infinitary Term Rewriting
- Globular: an online proof assistant for higher-dimensional rewriting
- Higher Order Automatic Differentiation of Higher Order Functions