Geometry of interaction 2: Deadlock-free algorithms
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The formal language of recursionThe Journal of Symbolic Logic, 1989
- Geometry of Interaction 1: Interpretation of System FPublished by Elsevier ,1989
- Linear logicTheoretical Computer Science, 1987