30 citations · 55 across the 6 of their papers we have counts for
1 paper · 1 filter
Liyi Li, Elsa Gunter
Order-sorted algebras and many sorted algebras exist in a long history with many different implementations and applications. A lot of language specifications have been defined in o…