From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms

Juan Climent Vidal, Enric Cosme Llópez, Raúl Ruiz Mora

This ongoing project aims to define and investigate, from the standpoint of category theory, order theory and universal algebra, the notions of higher-order many-sorted rewriting s…