References

• [VL24] Juan Climent Vidal, Enric Cosme Llópez. From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. 2024. Preprint. Chapter 5: Higher-order categories. arXiv:2402.12051, URL: https://arxiv.org/abs/2402.12051. [1]