R.F. Blute, J.R.B. Cockett, R.A.G. Seely, T.H. Trimble  Home/Search
Context Related
| triples.math.mcgill.ca/~ra...nets.ps.gz math.mcgill.ca/rags/nets/nets.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 examines coherence for certain monoidal categories using techniques coming from the proof theory of linear logic, in particular making heavy use of the graphical techniques of proof nets. We define a two sided notion of proof net, suitable for categories like weakly distributive categories which have the two-tensor structure (times/par) of linear logic, but lack a negation operator. Representing morphisms in weakly distributive categories as such nets, we derive a coherence theorem... (Update)
Cited by: More
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
On Proof Nets for Multiplicative Linear Logic with Units - Straßburger, Lamarche (2004) (Correct)
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
Active bibliography (related documents): More All
1.2: Fock Space: A Model of Linear Exponential Types - Blute, Panangaden, Seely (1994) (Correct)
0.6: A Sequent Calculus for Compact Closed Categories - Shirahata (1996) (Correct)
0.4: Linear Set Theory - Shirahata (1995) (Correct)
Similar documents based on text: More All
0.5: Enhanced SPFD Rewiring on Improving Rewiring Ability - Jason Cong Joey (2002) (Correct)
0.3: Coherence Of The Double Involution On - Autonomous Categories Cockett (Correct)
0.3: SPFD-Based Global Rewiring - Jason Cong Yizhou (2002) (Correct)
Related documents from co-citation: More All
22: Theoretical Computer Science (context) - Girard - 1987
20: Weakly distributive categories - Cockett, Seely - 1991
12: Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
BibTeX entry: (Update)
R Blute and R A G Seely. Natural deduction and coherence for weakly distributive categories. Draft, 1991. http://citeseer.ist.psu.edu/blute91natural.html More
@article{ blute96natural,
author = "Richard Blute and J. R. B. Cockett and R. A. G. Seely and T. H. Trimble",
title = "Natural Deduction and Coherence for Weakly Distributive Categories",
journal = "Journal of Pure and Applied Algebra",
volume = "13",
number = "3",
pages = "229--296",
year = "1996",
url = "citeseer.ist.psu.edu/blute91natural.html" }
Citations (may not include all citations):242 Linear logic (context) - Girard - 1987 ACM DBLP
54 Phase semantics and sequent calculus for pure noncommutative.. (context) - Abrusci - 1991 ACM DBLP
43 Weakly distributive categories - Cockett - 1992
36 The geometry of tensor calculus (context) - Joyal, Street - 1991
31 The structure of multiplicatives (context) - Danos, Regnier - 1989
24 Coherence in closed categories (context) - Kelly, Lane - 1972
24 Mathematical Structures in Computer Science (context) - Fleury, Retor'e - 1994
17 On Mac Lane's conditions for coherence of natural associativ.. (context) - Kelly - 1964
14 Almqvist and Wiksell (context) - Prawitz - 1965
13 Deductive systems and categories II (context) - Lambek - 1969
12 Scott Introduction to Higher-Order Categorical Logic (context) - Lambek - 1986
12 La logique lin'eaire appliqu'ee `a l (context) - Danos - 1990
9 Bounded linear logic (context) - Girard, Scedrov - 1992
8 From categorial grammar to bilinear logic (context) - Lambek - 1990
6 Linear logic, -autonomous categories and cofree coalgebras - Seely - 1989
6 Linear Logic, Coherence and Dinaturality (context) - Blute - 1992
6 The structure of free closed categories (context) - Jay - 1990
5 Coherence for distributivity (context) - Laplaza - 1972
5 Closed categories and the theory of proofs (context) - Mints - 1981
5 Linear logic: a survey (context) - Girard - 1992
4 Proof nets and coherence theorems (context) - Blute - 1991
3 Empires and kingdoms in MLL \Gamma (context) - Bellin, Wiele - 1993
2 On natural transformations of distinguished functors and the.. (context) - Soloviev - 1987
2 and ? for weakly distributive categories: Storage as tensori.. (context) - Blute, Cockett et al. - 1992
1 Polycategories (context) - Szabo - 1975
1 The virtues of j-expansion (context) - Ghani, Jay
1 Linear logic, bimodules, and full coherence for autonomous c.. (context) - Trimble - 1994
1 Proof nets and interaction nets (context) - Lafont - 1994
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/BluteR/biblio.html):
Fock Space: A Model of Linear Exponential Types - Blute, Panangaden, Seely (1994) (Correct)
! and ? -- Storage as tensorial strength - R. F. Blute, J. R.B. Cockett.. (1996) (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