Extended  Home/Search
Context
Related
| cs.man.ac.uk/~schalk/publ/lics.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/~schalk/work (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Martin Hyland DPMMS Centre for Mathematical Sciences Wilberforce Road, Cambridge, CB3 0WB, UK M.Hyland@dpmms.cam.ac.uk Andrea Schalk Department of Computer Science University of Manchester Oxford Road, Manchester, M13 9PL, UK A.Schalk@cs.man.ac.uk Abstract We present a new category of games on graphs and derive from it a model for Intuitionistic Linear Logic. Our category has the computational flavour of concrete data structures but embeds fully and faithfully in an abstract games... (Update)
Active bibliography (related documents): More All
0.5: Comparing Hierarchies of Types in Models of Linear Logic - Mellies (2003) (Correct)
0.3: Poset-valued sets or How to build models for Linear Logics - Andrea Schalk Valeria (2001) (Correct)
0.3: Parallel and Serial Hypercoherences - Ehrhard (1995) (Correct)
Similar documents based on text: More All
0.6: Glueing and Orthogonality for Models of Linear Logic - Hyland (2001) (Correct)
0.3: Combining Computational Effects: Commutativity and Sum - Hyland, Plotkin, Power (2002) (Correct)
0.2: The Cassels-Tate Pairing and the Platonic Solids - Fisher (Correct)
BibTeX entry: (Update)
@misc{ ed-games,
author = "Exte Nd Ed",
title = "Games on Graphs and Sequentially Realizable Functionals",
url = "citeseer.ist.psu.edu/611067.html" }
Citations (may not include all citations):283 Theoretical Computer Science (context) - Kahn, Plotkin - 1993
125 Event structures (context) - Winskel - 1986
65 Sequential Algorithms and Functional Programming (context) - Curien - 1993
61 Sequential algorithms on concrete data structures (context) - Berry, Curien - 1982
30 Hypercoherences: a strongly stable model of linear logic - Ehrhard - 1993
16 The sequentially realizable functionals (context) - Longley
11 the symmetry of sequentiality (context) - Curien - 1994
9 A combinatory algebra for sequential functionals of finite t.. - van Oosten - 1997
7 Abstract games for linear logic (context) - Hyland, Schalk - 1999
6 Glueing and orthogonality for models of linear logic - Hyland, Schalk - 2002
6 AJM's games model is a model of classical linear logic - Baillot, Danos et al. - 1997
6 A relative definability result for strongly stable functions.. (context) - Ehrhard - 1999
http://www.pps.jussieu.fr/mellies/
Documents on the same site (http://www.cs.man.ac.uk/~schalk/work.html):
Glueing and Orthogonality for Models of Linear Logic - Hyland (2001) (Correct)
Poset-valued sets or How to build models for Linear Logics - Andrea Schalk Valeria (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC