Bibliography
- 1
Juan Climent Vidal and 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.
Juan Climent Vidal and 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.