J.R.B. Cockett R.A.G. Seely This is the "corrected" version of the published...  Home/Search
Context Related
| triples.math.mcgill.ca/~rag...wdc.ps.gz math.mcgill.ca/rags/linear/wdc.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: hypatia.dcs.qmw.ac.uk/au...biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: There are many situations in logic, theoretical computer science, and category theory where two binary operations---one thought of as a (tensor) "product", the other a "sum"---play a key role. In distributive and -autonomous categories these operations can be regarded as, respectively, the and/or of traditional logic and the times/par of (multiplicative) linear logic. In the latter logic, however, the distributivity of product over sum is conspicuously absent: this paper studies a... (Update)
Cited by: More
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
Constructing free Boolean categories - Lamarche, Straßburger (2005) (Correct)
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) (Correct)
Active bibliography (related documents): More All
0.5: A Dialectica Model of the Lambek Calculus - de Paiva (Correct)
0.3: Constructing Process Categories - Cockett, Spooner (1995) (Correct)
0.2: On The Equivariant Homotopy Of Free Abelian Groups On G-Spaces.. - Lima-Filho (Correct)
Similar documents based on text: More All
0.3: Coherence Of The Double Involution On - Autonomous Categories Cockett (Correct)
0.2: Distributivity and Dependency - Winter (Correct)
0.2: Distributivity Without (very much) Scope - Brisson (Correct)
Related documents from co-citation: More All
20: Natural deduction and coherence for weakly distributive categories - Blute, Seely - 1991
19: Theoretical Computer Science (context) - Girard - 1987
13: Introduction to linear bicategories - Cockett, Koslowski et al. - 1999
BibTeX entry: (Update)
J.R.B. Cockett and R.A.G. Seely. Weakly distributive categories. In P.T. Johnstone, editor, Proc. LMS Symp. on the Applications of Category Theory in Computer Science, Durham, 1991. http://citeseer.ist.psu.edu/cockett91weakly.html More
@incollection{ cockett92weakly,
author = "J. R. B. Cockett and R. A. G. Seely",
title = "Weakly Distributive Categories",
booktitle = "Applications of Categories in Computer Science: Proceedings {LMS} Symp., Durham, {UK}, 20--30 July 1991",
volume = "177",
publisher = "Cambridge University Press",
address = "Cambridge",
editor = "M. P. Fourman and P. T. Johnstone and A. M. Pitts",
pages = "45--65",
year = "1992",
url = "citeseer.ist.psu.edu/cockett91weakly.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Linear - 1987 ACM
54 Phase semantics and sequent calculus for pure noncommutative.. (context) - Abrusci - 1991 ACM DBLP
24 Mathematical Structures in Computer Science (context) - Fleury, The - 1994
22 Lecture Notes in Mathematics (context) - -Autonomous - 1979
13 Mathematical Structures in Computer Science (context) - to, categories - 1993
8 From categorial grammar to bilinear logic (context) - Lambek - 1990
4 A remark on Mackey-functors (context) - Lindner - 1976
2 Street Braided monoidal categories (context) - Joyal - 1986
1 to appear in Mathematical Structures in Computer Science (context) - models, logic et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/author/CockettJRB/biblio.html): More
Categories for Computation in Context and Unified Logic - Blute, Cockett, Seely (1997) (Correct)
About Charity - Cockett, Fukushima (1992) (Correct)
Feedback for Linearly Distributive Categories: Traces and.. - Blute, Cockett, Seely (1999) (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