Tuple Interpretations for Higher-Order Rewriting

Deivid Vale, Cynthia Kop

We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting systems that takes type information into account. Specifically, base-type terms are…