Notions of computation determine monads (2002)

by G D Plotkin, J Power
Venue:In Proc. FOSSACS’02