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