Logic for computational effects, in (2003)

by G D Plotkin, A J Power
Venue:Proc. of IWFM 2003, British Computer Society Electronic Workshops in Computing