Exploring the gap between linear and classical logic.

Lamarche, François. "Exploring the gap between linear and classical logic.." Theory and Applications of Categories [electronic only] 18 (2007): 473-535. <http://eudml.org/doc/128426>.

@article{Lamarche2007,
author = {Lamarche, François},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {-autonomous categories; denotational semantics; linear logic; classical logic; deep inference; medial rule; -autonomous categories},
language = {eng},
pages = {473-535},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Exploring the gap between linear and classical logic.},
url = {http://eudml.org/doc/128426},
volume = {18},
year = {2007},
}

TY - JOUR
AU - Lamarche, François
TI - Exploring the gap between linear and classical logic.
JO - Theory and Applications of Categories [electronic only]
PY - 2007
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 18
SP - 473
EP - 535
LA - eng
KW - -autonomous categories; denotational semantics; linear logic; classical logic; deep inference; medial rule; -autonomous categories
UR - http://eudml.org/doc/128426
ER -