Lics

ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Seventh Annual IEEE Symposium on

Logic in Computer Science (LICS 1992)

Paper: New foundations for the geometry of interaction (at LICS 1992)

Authors: Samson Abramsky Radha Jagadeesan

Abstract

A new formal embodiment of J.-Y. Girard's (1989) geometry of interaction program is given. The geometry of interaction interpretation considered is defined, and the computational interpretation is sketched in terms of dataflow nets. Some examples that illustrate the key ideas underlying the interpretation are given. The results, which include the semantic analogue of cut-elimination, stated in terms of a finite convergence property, are outlined

BibTeX

  @InProceedings{AbramskyJagadeesan-Newfoundationsforth,
    author = 	 {Samson Abramsky and Radha Jagadeesan},
    title = 	 {New foundations for the geometry of interaction},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 1992)},
    year =	 {1992},
    month =	 {June}, 
    pages =      {211--222},
    location =   {Santa Cruz, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2021-04-0120:36
Sam Staton