Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Electronic Notes in Theoretical Computer Science 3 (1996) URL: http://www.elsevier.nl/locate/entcs/volume3.html 13 pages
 

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