References

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