Algebraric operations and effects (2003)

by G D Plotkin, A J Power
Venue:in Proc. MFCSIT 2000, Applied Categorical Structures