Computational Effects and Operations: An Overview (2004)

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