R. F. Blute, J. R.B. Cockett, R.A.G. Seely  Home/Search
Context Related
| triples.math.mcgill.ca/~ra...bang.ps.gz math.mcgill.ca/rags/bang/bang.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: this paper were produced with the help of the diagram macros of F. Borceux. Blute, Cockett, & Seely 2 (Update)
Context of citations to this paper: More
.... theorems [BCST] It was a natural step to ask whether the exponentials, and , could be added in a modular fashion to this basic setting [BCS92]. When we started to study this question, we were struck by the prominent role of tensorial strength (and costrength) in the...
.... corresponds to the tensor par fragment of linear logic, whose categorical semantics lies in linearly distributive categories [7, 10, 13, 14, 15]. Linearly distributive categories were originally introduced by the latter two authors [13] with the idea that the tensor par...
Cited by: More
The Logic of Linear Functors - Blute, Cockett (2002) (Correct)
Categories for Computation in Context and Unified Logic - Blute, Cockett, Seely (1997) (Correct)
Active bibliography (related documents): More All
0.2: Coherence Of The Double Involution On - Autonomous Categories Cockett (Correct)
0.2: Relational Semantics Revisited - Best, Richter (1999) (Correct)
0.2: The Separated Extensional Chu Category - Barr (1998) (Correct)
Similar documents based on text: More All
0.5: Geometry of Interaction and Linear Combinatory Algebras - Abramsky, Haghverdi, Scott (2000) (Correct)
0.3: Categories for Computation in Context and Unified Logic.. - Blute, Cockett, Seely (1997) (Correct)
0.3: Introduction to Linear Bicategories - Cockett, al. (1999) (Correct)
Related documents from co-citation: More All
2: Linear logic, -autonomous categories and cofree coalgebras - Seely - 1989
2: Linear logic, coherence and dinaturality (context) - Blute - 1993
2: Proof theory for full intuitionistic linear logic, bilinear logic, and mix categ.. - Cockett - 1996
BibTeX entry: (Update)
Blute, R.F., J.R.B. Cockett, and R.A.G. Seely " ! and ? : Storage as tensorial strength", Mathematical Structures in Computer Science 6 (1996) 313--351. http://citeseer.ist.psu.edu/blute96storage.html More
@article{ blute96storage,
author = "Richard Blute and J. Robin B. Cockett and R. A. G. Seely",
title = "! and ? - Storage as Tensorial Strength",
journal = "Mathematical Structures in Computer Science",
volume = "6",
number = "4",
pages = "313-351",
year = "1996",
url = "citeseer.ist.psu.edu/blute96storage.html" }
Citations (may not include all citations):242 Linear logic (context) - Girard - 1987
72 A new constructive logic: classical logic (context) - Girard - 1991
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
46 Term assignment for intuitionistic linear logic (context) - Benton, Bierman et al. - 1992
43 Weakly distributive categories - Cockett, Seely - 1992
37 Natural deduction and coherence for weakly distributive cate.. - Blute, Cockett et al. - 1992
36 The geometry of tensor calculus (context) - Joyal, Street - 1991
34 Constant-only multiplicative linear logic is NP-complete - Lincoln, Winkler - 1994
31 The structure of multiplicatives (context) - Danos, Regnier - 1989
14 Autonomous categories and linear logic (context) - Barr - 1991
13 Deductive systems and categories II (context) - Lambek - 1969
11 Coalgebras and Cartesian categories (context) - Fox - 1976
9 Theoretical Computer Science (context) - Science, Deduction et al. - 1965
7 Linear logic (context) - Seely - 1989
5 Introduction to distributive categories (context) - Cockett - 1993
1 ill University. Danos, V. (1990) La logique lin'eaire appliq.. (context) - McG - 1990
1 Linear Logic (context) - Blute - 1993
1 Applications of Categories to Computer Science (context) - Johnstone - 1995
1 Linear logic (context) - Trimble - 1994
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/author/BluteR/biblio.html):
Natural Deduction and Coherence for Weakly Distributive .. - Blute, Cockett, Seely, .. (1991) (Correct)
Fock Space: A Model of Linear Exponential Types - Blute, Panangaden, Seely (1994) (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