Coherence of Proof-net Categories
Publications de l'Institut Mathématique (2005)
- Volume: 78(92), Issue: 98, page 1-33
- ISSN: 0350-1302
Access Full Article
top
How to cite
topKosta Došen, and Zoran Petrić. "Coherence of Proof-net Categories." Publications de l'Institut Mathématique 78(92).98 (2005): 1-33. <http://eudml.org/doc/256488>.
@article{KostaDošen2005,
author = {Kosta Došen, Zoran Petrić},
journal = {Publications de l'Institut Mathématique},
keywords = {generality of proofs; linear logic; mix principle; proof nets; linear distribution; dissociativity; categorial coherence; Kelly-Mac Lane graphs; Brauerian graphs; split equivalences; symmetric monoidal closed category; star-autonomous category},
language = {eng},
number = {98},
pages = {1-33},
publisher = {Matematički institut SANU},
title = {Coherence of Proof-net Categories},
url = {http://eudml.org/doc/256488},
volume = {78(92)},
year = {2005},
}
TY - JOUR
AU - Kosta Došen
AU - Zoran Petrić
TI - Coherence of Proof-net Categories
JO - Publications de l'Institut Mathématique
PY - 2005
PB - Matematički institut SANU
VL - 78(92)
IS - 98
SP - 1
EP - 33
LA - eng
KW - generality of proofs; linear logic; mix principle; proof nets; linear distribution; dissociativity; categorial coherence; Kelly-Mac Lane graphs; Brauerian graphs; split equivalences; symmetric monoidal closed category; star-autonomous category
UR - http://eudml.org/doc/256488
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.