Summary: Electronic Notes in Theoretical Computer Science 3 (1996)
URL: http://www.elsevier.nl/locate/entcs/volume3.html 13 pages
Linearity, Sharing and State: a fully abstract
game semantics for Idealized Algol with active
expressions
Extended Abstract
Samson Abramsky 1
Department of Computer Science
University of Edinburgh
King's Buildings
Mayfield Road
Edinburgh
United Kingdom EH9 3JZ.
Guy McCusker 2
Department of Computing
Imperial College
180 Queen's Gate
London,
United Kingdom SW7 2BZ.
Abstract

Source: Abramsky, Samson - Computing Laboratory, University of Oxford

Collections: Computer Technologies and Information Sciences