DocumentCode
2894013
Title
New foundations for the geometry of interaction
Author
Abramsky, Samson ; Jagadeesan, Radha
Author_Institution
Dept. of Comput., Imperial Coll., London, UK
fYear
1992
fDate
22-25 Jun 1992
Firstpage
211
Lastpage
222
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
Keywords
computational geometry; programming theory; computational interpretation; dataflow nets; geometry of interaction; Algebra; Computer networks; Concrete; Convergence; Educational institutions; Feedback; Geometry; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on
Conference_Location
Santa Cruz, CA
Print_ISBN
0-8186-2735-2
Type
conf
DOI
10.1109/LICS.1992.185534
Filename
185534
Link To Document