Notions of Computation Determine Monads (2002)

by Gordon Plotkin, John Power
Venue:Proc. FOSSACS 2002, Lecture Notes in Computer Science 2303