Logic for Computational Effects: work in progress (2003)

by G D Plotkin, John Power
Venue:Proc. International Workshop on Formal Methods 03, British Computer Society Electronic Workshops in Computing