J. R. B. Cockett, R. A. G. Seely  Home/Search
Context Related
| math.mcgill.ca/rags/nets/fill.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: math.mcgill.ca/~rags (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This note applies techniques we have developed to study coherence in monoidal categories with two tensors, corresponding to the tensor-par fragment of linear logic, to several new situations, including Hyland and de Paiva's Full Intuitionistic Linear Logic (FILL), and Lambek's Bilinear Logic (BILL). Note that the latter is a noncommutative logic; we also consider the noncommutative version of FILL. The essential difference between FILL and BILL lies in requiring that a certain tensorial... (Update)
Cited by: More
A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (Correct)
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (Correct)
Related documents from co-citation: More All
13: Annals of Pure and Applied Logic (context) - Girard, unity et al. - 1993
12: Full intuitionistic linear logic (context) - Hyland, de Paiva - 1993
10: Natural deduction and coherence for weakly distributive categories - Blute, Seely - 1991
BibTeX entry: (Update)
Cockett, J.R.B. and R.A.G. Seely "Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories", preprint, McGill University, 1996. http://citeseer.ist.psu.edu/cockett97proof.html More
@article{ cockett97proof,
author = "J. R. B. Cockett and R. A. G. Seely",
title = "Proof Theory for full intuitionistic linear logic, bilinear logic, and {MIX} categories",
journal = "Theory and Applications of categories",
volume = "3",
number = "5",
pages = "85--131",
year = "1997",
url = "citeseer.ist.psu.edu/cockett97proof.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.mcgill.ca/~rags): More
! and ? -- Storage as tensorial strength - R. F. Blute, J. R.B. Cockett.. (1996) (Correct)
Weakly Distributive Categories - Cockett Seely (1991) (Correct)
Proof Theory For Full Intuitionistic Linear Logic, Bilinear .. - Categories 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