Notions of Computation Determine Monads (2002)

by Gordon Plotkin , John Power
Venue:Proc. FOSSACS 2002, Lecture Notes in Computer Science 2303
Citations:78 - 6 self