@article{lamarche:inria-00113785, TITLE = {{Exploring the Gap between Linear and Classical Logic}}, AUTHOR = {Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00113785}, NOTE = {Published on 2007-10-09. A paper by my collaborator Lutz Strassburger on a closely related subject was published in the same journal on the same day.}, TYPE = {Research Report}, JOURNAL = {{Theory and Applications of Categories}}, PUBLISHER = {{Mount Allison University}}, VOLUME = {18}, NUMBER = {17}, PAGES = {473--535 (63 pages)}, YEAR = {2007}, KEYWORDS = {Bialgebras ; Linear Logic ; Classical Logic ; -autonomous Categories ; Denotational Semantics ; Coherence Spaces ; Deep Inference ; Medial Rule ; Bialgebras.}, PDF = {https://inria.hal.science/inria-00113785/file/GapTac.pdf}, HAL_ID = {inria-00113785}, HAL_VERSION = {v1}, }