Categorical Models of Linear Logic Revisited

Categorical Models of Linear Logic Revisited (2003)

Cached

Download Links

[www.pps.jussieu.fr]

by Paul-andré Melliès

Citations:

23 - 4 self

BibTeX

@INPROCEEDINGS{Melliès03categoricalmodels,
    author = {Paul-andré Melliès},
    title = {Categorical Models of Linear Logic Revisited},
    booktitle = {},
    year = {2003}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

815	Categories for the Working Mathematician - Lane - 1971
270	Λµ-calculus: an algorithmic interpretation of classical natural deduction - Parigot - 1992
137	A new constructive logic: classical logic - Girard - 1991
129	The system F of variable types, fifteen years later - Girard - 1986
109	The formal theory of monads - Street - 1972
97	Linear logic, ∗-autonomous categories and cofree coalgebras - Seely - 1989
92	What is a Categorical Model of Intuitionistic Linear Logic - Bierman - 1995
89	Premonoidal categories and notions of computation - Power, Robinson - 1997
88	A mixed linear and non-linear logic: Proofs, terms and models - Benton - 1995
83	autonomous categories and linear logic - Barr - 1991
83	Sequential algorithms on concrete data structures - Berry, Curien - 1982
74	Control categories and duality: on the categorical semantics of the lambda-mu calculus - Selinger
69	New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
59	Stable models of typed lambda-calculi - Berry - 1978
53	Term assignment for intuitionistic linear logic - Benton, Bierman, et al. - 1992
44	Game semantics - Abramsky, McCusker - 1999
40	Strong functors and monoidal monads - Kock - 1972
39	On Intuitionistic Linear Logic - Bierman - 1993
34	Linear Type Theories, Semantics and Action Calculi - Barber - 1997
34	On the symmetry of sequentiality - Curien - 1993
27	Doctrinal adjunction - Kelly - 1974
17	From action calculi to linear logic - Barber, Gardner, et al. - 1997
13	A universal property of the convolution monoidal structure - Im, Kelly - 1986
13	Relating categorical semantics for intuitionistic linear logic. Applied Categorical Structures - Maietti, Maneggia, et al. - 2005
12	A fully abstract relational model of Syntactic Control of Interference - McCusker - 2002
12	Continuation models are universal for λµ-calculus - Hofmann, Streicher - 1997
11	A relative definability result for strongly stable functions and some corollaries - Ehrhard - 1997
10	Continuations semantics or expressing implication by negation - Lafont, Reus, et al. - 1993
10	A linear metalanguage for concurrency - Winskel - 1998
9	Game semantics. In Semantics and Logics of Computation - Hyland - 1997
9	de Wiele - Ong, Van - 2008
7	Global state considered unnecessary: Object-based semantics for interference-free imperative programs - Reddy - 1996
6	Logiques, catégories et machines - Lafont - 1988
5	Declarative Continuations and Monads. unpublished draft - Agapiev, Moggi - 1991
4	Polarized proofnets and the lambdamu calculus - Laurent - 2003
4	Hereditarily Sequential Funtionals - Nickau - 1994
2	Bidomains and linear logic. Festschrift for Robin Milner - Curien, Plotkin, et al.
1	Quantitative semantics revisited - Barreiro, Ehrhard - 1999
1	TrueCoverage information available online at http://www.numega.com/products/cover/tc_java.shtm - unknown authors
1	Polarized categories and games. Talk at the Linear Logic workshop - Melliès, Selinger - 2001