Geometry of interaction 2: Deadlock-free algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 417 LNCS, Issue , 1990, Pages 76-93

  Girard, Jean Yves ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85031925268     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52335-9_49     Document Type: Conference Paper

References (7)

1. DANOS, Vincent Λ et Λ*, draft, université Paris VII, 1989
2. GIRARD, Jean-Yves Linear logic, T.C.S. 50, 1987.
3. GIRARD, Jean-Yves Towards a geometry of interaction, to appear in Proceedings of AMS conference on categories, logic and computer science, held in Boulder, Co, in june 1987.
4. GIRARD, Jean-Yves Geometry of interaction 1: interpretation of system F, to appear in Proceedings of ASL meeting held in Padova, august 1988.
5. KADISON, Richard V. & RINGROSE, John R. Fundamentals of the theory of operator algebras, volume 1, Academic Press, 1983.
6. Martin-löf, Per to appear in the Proceedings of Padova meeting
7. MOSCHOVAKIS, Yannis N. The formal language of recursion, preprint, UCLA, 1988.