Semantics for Algebraic Operations (2001)

by Gordon Plotkin, John Power
Venue:Proc. MFPS 17, Electronic Notes in Thoeret. Comp. Sci