Semantics for Algebraic Operations (extended abstract (2001)

by G D Plotkin, A J Power
Venue:in Proc. MFPS XVII