Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
S. Abramsky and G. McCusker
Book Title
Algol−like Languages
Editor
P. O'Hearn and R. D. Tennent
Pages
317−348
Publisher
Birkhauser
Year
1997
S. Abramsky and G. McCusker