Natural deduction and coherence for non-symmetric linearly distributive categories.
Theory and Applications of Categories [electronic only] (1999)
- Volume: 6, page 105-146
- ISSN: 1201-561X
Access Full Article
top
How to cite
topSchneck, Robert R.. "Natural deduction and coherence for non-symmetric linearly distributive categories.." Theory and Applications of Categories [electronic only] 6 (1999): 105-146. <http://eudml.org/doc/120143>.
@article{Schneck1999,
author = {Schneck, Robert R.},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {categorical proof theory; nonsymmetric linearly distributive categories; monoidal categories; noncommutative negation-free multiplicative linear logic; proof nets; decision procedure; equivalence of proofs},
language = {eng},
pages = {105-146},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Natural deduction and coherence for non-symmetric linearly distributive categories.},
url = {http://eudml.org/doc/120143},
volume = {6},
year = {1999},
}
TY - JOUR
AU - Schneck, Robert R.
TI - Natural deduction and coherence for non-symmetric linearly distributive categories.
JO - Theory and Applications of Categories [electronic only]
PY - 1999
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 6
SP - 105
EP - 146
LA - eng
KW - categorical proof theory; nonsymmetric linearly distributive categories; monoidal categories; noncommutative negation-free multiplicative linear logic; proof nets; decision procedure; equivalence of proofs
UR - http://eudml.org/doc/120143
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.