2 citations · 2 across the 7 of their papers we have counts for
1 paper · 2 filters
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…