Bibliography
- 1
Juan Climent Vidal, Enric Cosme Llópez, and 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.
Juan Climent Vidal, Enric Cosme Llópez, and 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.