Sharing and State: a fully abstract game semantics for Idealized ALGOL with active expressions (1996)

by S Abramsky, G McCusker, Linearity
Venue:Electr. Notes Theor. Comput. Sci