Asynchronous games 3 an innocent model of linear logic

Electronic Notes in Theoretical Computer Science

Volumn 122, Issue , 2005, Pages 171-192

  Melliès, Paul André ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

Categorical models; Game semantics; Linear logic

Indexed keywords

FORMAL LOGIC; GRAPH THEORY; LINEAR SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; THEOREM PROVING;

BLASS PROBLEM; CATEGORIAL MODELS; GAME SEMANTICS; LINEAR LOGIC;

GAME THEORY;

EID: 14544271856     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.057     Document Type: Conference Paper

References (15)

1. Samson Abramsky. Sequentiality vs. concurrency in games and logic. Report Research Report RR-01-08, Oxford University, Programming Research Group, April 2001
2. Samson Abramsky, and Guy McCusker Call-by-value games Mogens Nielsen Wolfgang Thomas Proceedings of CSL'97 Lecture Notes in Computer Science volume 1414 1998 Springer
3. Andrea Blass A games semantics for linear logic Annals of Pure and Applied Logic 56 1992 183 220
4. Eric Goubault Geometry and concurrency: A user's guide Mathematical Structures in Computer Science 10 4 August 2000
5. Martin Hyland Game Semantics 1997 Publications of the Newton Institute. Cambridge University Press
6. Bart Jacobs Semantics of weakening and contraction Annals of Pure and Applied Logic 69 1994 73 106
7. André Joyal Remarques sur la théorie des jeux à deux personnes Gazette des Sciences Mathématiques du Québec 1 4 1977 46 52
8. André Joyal Free lattices, communication and money games Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science Florence, Italy Synth. Libr. 259 1997 Kluwer Academic Publishers Dordrecht 29 68
9. Olivier Laurent Polarized games (extended abstract) Proceedings of the seventeenth annual symposium on Logic In Computer Science, Copenhagen July 2002 IEEE Computer Society Press 265 274
10. Paul-André Melliès. Categorical models of linear logic revisited. Prépublication électronique PPS//03/09//n°22 (pp), Laboratoire Preuves, Programmes et Systèmes, March 2003. To appear in Theoretical Computer Science
11. Paul-André Melliès. Asynchronous games 1: a group-theoretic formulation of uniformity. Prépublication électronique PPS//04/06//n°31 (pp), Laboratoire Preuves, Programmes et Systèmes, 2004
12. Paul-André Melliès Asynchronous games 2: the true concurrency of innocence Philippa Gardner Nobuko Yoshida Proceedings of CONCUR '04 Lecture Notes in Computer Science September 2004 Springer Verlag
13. John Power, and Edmund Robinson Premonoidal categories and notions of computation Mathematical Structures in Computer Science 7 5 1997 453 468
14. Robert Seely Linear logic,*-autonomous categories and cofree coalgebras Applications of categories in logic and computer science Contemporary Mathematics number 92 1989
15. Peter Selinger Control categories and duality: on the categorical semantics of the lambda-mu calculus Mathematical Structures in Computer Science 11 2 2001 207 260