Notions of Computation Determine Monads.

Gordon D. Plotkin, John Power

Browse the full FOSSACS paper archive.