Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
New Foundations for the Geometry of Interaction \Lambda Samson Abramsky Radha Jagadeesan
 

Summary: New Foundations for the Geometry of Interaction \Lambda
Samson Abramsky Radha Jagadeesan
Dept. of Computing Dept. of Computing
Imperial College Imperial College
London London.
December 10, 1992
\Lambda This research was supported by grants from UK SERC and ESPRIT Basic Research Action 3003 ``CLICS''
1

Contents
1 Introduction 3
2 Basic Intuitions 4
3 Geometry of Interaction Models 8
3.1 Preliminaries : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 9
3.2 GI­models : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11
4 GI­interpretations 16
4.1 Type­free models : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 16
4.2 Interpreting CLL 2 in type­free models : : : : : : : : : : : : : : : : : : : : : : : : : : : 18
4.3 Examples of Computations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 21
5 GI as Dataflow 25

  

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

 

Collections: Computer Technologies and Information Sciences