A Formalization of Higher-Order Categories in Lean 4

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.