35 citations · 80 across the 25 of their papers we have counts for
1 paper · 1 filter
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…