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

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Free algebras (08B20) Partial algebras (08A55) Heterogeneous algebras (08A68)

This page was built for publication: From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms