Event Domains, Stable Functions and Proof-Nets

Electronic Notes in Theoretical Computer Science

Volumn 172, Issue , 2007, Pages 33-67

  Abramsky, Samson ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Domain Theory; Event Structures; Linear Logic; Proof Nets; Stable Functions

Indexed keywords

FORMAL LOGIC; GAME THEORY; SEMANTICS;

DOMAIN THEORY; EVENT STRUCTURES; LINEAR LOGIC; MULTIPLICATIVE LINEAR LOGIC; PROOF NETS; STABLE FUNCTIONS;

THEOREM PROVING;

EID: 33847614809     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.02.003     Document Type: Article

References (27)

1. Abramsky S. Retracing Some Paths in Process Algebra. Proceedings of CONCUR 96. Lecture Notes in Computer Science Vol. 1119 (1996), Springer-Verlag 1-17
2. Abramsky S. Sequentiality vs. Concurrency In Games And Logic. Mathematical Structures in Computer Science 13 4 (2003) 531-565
3. S Abramsky. Full Completeness Revisited. Draft paper (50 pages), 2007
4. Abramsky S., and Jagadeesan R. New Foundations for the Geometry of Interaction. Information and Computation 111 1 (1994) 53-119
5. Abramsky S., and Jagadeesan R. Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 2 (1994) 543-574
6. S. Abramsky and P.-A. Melliès. Concurrent Games and Full Completeness. Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 431-44, 1999
7. Bainbridge E.S., Freyd P.J., Scedrov A., and Scott P.J. Functorial Polymorphism. Theoretical Computer Science 70 1 (1988) 35-64
8. Berry G. Stable Models of Typed λ-calculi. Proceedings of the Fifth International Colloquium on Aotomata, languages and Programming. Springer Lecture Notes in Computer Science Vol. 62 (1978) 72-89
9. Blute R., and Scott P.J. The Shuffle Hopf Algebra and Noncommutative Full Completeness. J. Symb. Log. 63 4 (1998) 1413-1436
10. Blute R., Hamano M., and Scott P.J. Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Logic 131 1-3 (2005) 1-63
11. Curien P.-L. Categorical combinators, sequential algorithms and functional programming (1986), Pitman Revised edition, Birkhauser 1993
12. Pierre-Louis Curien, Claudia Faggian: L-Nets, Strategies and Proof-Nets. CSL 2005: 167-183
13. Danos V., and Regnier L. The Structure of Multiplicatives. Archive for Mathematical Logic 28 (1989) 181-203
14. H. Devarajan, D. Hughes, G. Plotkin, V. Pratt. Full completeness of the multiplicative linear logic of Chu spaces. Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 234-242, 1999
15. Claudia Faggian, Franois Maurel: Ludics Nets, a game Model of Concurrent Interaction. LICS 2005: 376-385
16. Girard J.-Y. Linear Logic. Theoretical Computer Science 50 (1987) 1-102
17. J.-Y. Girard. Multiplicatives. In G. Lolli, editor, Logic and Computer Science: New Trends and Applications, pages 11-33, Rendiconti del Seminario Matematico (Torino), Universita Pol. Torino, 1988
18. Girard J.-Y. Geometry of Interaction I: Interpretation of System F. In: Ferro R., et al. (Ed). Logic Colloquium '88 (1989), North-Holland 221-260
19. J.-Y. Girard. Quantifiers in linear logic II. In G. Corsi and G. Sambin, editors, Nuovi problemi della logica e della filosofia della scienza, volume II, Bologna, Italy, 1991
20. Girard J.-Y. Proof-nets: the parallel syntax for proof theory. In: Agliano P., and Ursini A. (Eds). Logic and Algebra (1996), Marcel Dekker
21. Hughes D., and Glabeek R.v. Proof Nets for unit-free Multiplicative-Additive Linear Logic. ACM Transactions on Computational Logic (2005)
22. Joyal A., Street R., and Verity D. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society 119 3 (1996) 447-468
23. Kahn G., and Plotkin G. Concrete Domains. Theoretical Computer Science 121 (1993) 187-277 Appeared as TR IRIA-Laboria 336 in 1978
24. R. Loader. Models of Lambda Calculi and Linear Logic. D. Phil. thesis, Oxford University, 1994
25. Nielsen M., Plotkin G.D., and Winskel G. Petri Nets, Event Structures and Domains, Part I. Theor. Comput. Sci. 13 (1981) 85-108
26. Troelstra A.S. Lectures On Linear Logic. CSLI Lecture Notes Number 29 (1992)
27. G. Winskel. Event Structures. U. Cambridge Computer Laboratory Technical Report Number 95. 1986