Computational Effects and Operations: An Overview (2004)

by Gordon Plotkin, John Power
Venue:Electr. Notes Theor. Comput. Sci