Martin Hyland  Home/Search
Context Related
| cs.man.ac.uk/~schalk/gomll.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: We present the general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic: in particular we treat the exponentials in detail. We indicate simple applications of the methods and show that they cover familiar examples. 1 (Update)
Context of citations to this paper: More
.... pair of sets for Chu spaces or dialectica categories, and morphisms I A versus those A in the double glueing construction (see [9,8]) employed by Tan [12] Structurally somewhat simpler models, on the other hand, such as coherence spaces or hypercoherences, can do...
.... model, but we can make the connections (more directly) between our models and the versions of abstract games described in our [7] and [8]. Observe that a related model is described from a different point of view at the end of [1] The graph games model we analyse here embeds...
Cited by: More
Classical Linear Logic of Implications - Hasegawa (2002) (Correct)
Coherence Of The Double Involution On - Autonomous Categories Cockett (Correct)
Games on Graphs and Sequentially Realizable Functionals - Exte Nd Ed (Correct)
Active bibliography (related documents): More All
0.5: Proof Interpretations and the Computational Content of Proofs - Kohlenbach (2002) (Correct)
0.4: Categorical Models Of Linear Logic Revisited - Mellies (2002) (Correct)
0.3: Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
Similar documents based on text: More All
0.4: Comonoids In Chu: A Large Cartesian Closed Sibling Of Topological.. - Pratt (2003) (Correct)
0.3: Categorical Glueing and Logical Predicates for Models of Linear.. - Hasegawa (1999) (Correct)
0.2: A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (Correct)
Related documents from co-citation: More All
5: What is a categorical model of intuitionistic linear logic - Bierman - 1995
4: Linear logic : its syntax and semantics - Girard - 1995
3: Explicit substitution internal languages for autonomous and -autonomous categori.. - Koh, Ong - 1999
BibTeX entry: (Update)
M. Hyland and A. Schalk. Glueing and orthogonality for models of linear logic. Submitted for publication. http://citeseer.ist.psu.edu/hyland01glueing.html More
@misc{ hyland-glueing,
author = "M. Hyland and A. Schalk",
title = "Glueing and orthogonality for models of linear logic",
text = "M. Hyland and A. Schalk. Glueing and orthogonality for models of linear
logic. Submitted for publication.",
url = "citeseer.ist.psu.edu/hyland01glueing.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
236 Categories for the Working Mathematician (context) - MacLane - 1971
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
144 Full abstraction for PCF - Abramsky, Jagadeesan et al. - 1994
88 Linear logic: its syntax and semantics - Girard
71 Hopf Algebras (context) - Sweedler - 1969
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
65 Sequential Algorithms and Functional Programming (context) - Curien - 1993
60 A term calculus for intuitionistic linear logic - Benton, Bierman et al. - 1993
48 Hereditarily sequential functionals - Nickau - 1994
46 On intuitionistic linear logic (context) - Bierman - 1994
43 Weakly distributive categories - Cockett, Seely - 1997
42 volume 752 of Lecture Notes in Mathematics (context) - Barr, categories - 1979
42 Volume 752 of Lecture Notes in Mathematics (context) - Chu, categories et al. - 1979
38 Information and Computation - Hyland, Ong et al.
35 Two-dimensional monad theory (context) - Blackwell, Kelly et al. - 1989
32 An extension of the Galois theory of Grothendieck (context) - Joyal, Tierney - 1984
32 Mathematical Structures in Computer Science (context) - Barr, categories et al. - 1991
31 The structure of the multiplicatives (context) - Danos, Regnier - 1989
31 The formal theory of monads (context) - Street - 1972
29 Coherence for compact closed categories (context) - Kelly, Laplaza - 1980
28 Adjunctions whose counits are coequalizers (context) - Kelly, Power - 1993
28 Information and Computation (context) - Abramsky, Jagadeesan et al.
19 Multicategories revisited (context) - Lambek - 1989
17 Linear lambda-calculus and categorical models revisited - Benton, Bierman et al. - 1993
16 Semantics of interaction: an introduction to game semantics (context) - Abramsky
14 Game semantics (context) - Hyland
11 Full completeness for models of linear logic (context) - Tan - 1997
9 Accessible categories and models of linear logic (context) - Barr - 1990
9 Full completeness of the multiplicative linear logic of chu .. - Devarajan, Hughes et al.
8 Models of lambda calculi and linear logic: Structural - Loader - 1994
7 Abstract games for linear logic (context) - Hyland, Schalk - 1999
4 volume 222 of London Mathematical Society Lecture Note Serie.. (context) - Girard, Lafont et al. - 1995
4 of variable types fteen years later (context) - Girard - 1986
4 Stable models of typed -calculi (context) - Berry - 1978
4 A dialectica-like model of linear logic (context) - de Paiva - 1989
3 Columbia University (context) - Beck, Algebras et al. - 1967
3 University of Cambridge Computer Laboratory (context) - de Paiva, categories - 1991
2 Eine Variante zur Dialectica-Interpretation der HeytingArith.. (context) - Diller, Nahm - 1974
1 Chu's Construction: A Proof-theoretic Approach - Bellin
1 Proof theory in the abstract (context) - Hyland
1 Functional interpretation of Heyting's arithmetic in all nit.. (context) - Diller - 1979
1 Bilinear logic (context) - Lambek
1 Linear exponential comonads for self-dualized categories (context) - Hyland, Schalk - 2000
1 equats et Stable des Lambda-calculs types (context) - Berry, eles et al. - 1979
1 Proof theory for full intuitionistic logic (context) - Cockett, Seely - 1997
1 Semantics and Logics of Computation (context) - Pitts, Dybjer - 1997
1 The structure of categories of wirings (context) - Hyland, Power
1 and full completeness (context) - Loader, totality
http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/pr209.ps.gz
Documents on the same site (http://www.cs.man.ac.uk/~schalk/work.html):
Poset-valued sets or How to build models for Linear Logics - Andrea Schalk Valeria (2001) (Correct)
Games on Graphs and Sequentially Realizable Functionals - Exte Nd Ed (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