@article{lamarche:inria-00099865, TITLE = {{From Proof nets to the Free *-Autonomous Categories}}, AUTHOR = {Lamarche, Fran{\c c}ois and Strassburger, Lutz}, URL = {https://inria.hal.science/inria-00099865}, NOTE = {http://www.lmcs-online.org}, JOURNAL = {{Logical Methods in Computer Science}}, HAL_LOCAL_REFERENCE = {A04-R-390 || lamarche04a}, PUBLISHER = {{Logical Methods in Computer Science Association}}, VOLUME = {2}, NUMBER = {4:3}, PAGES = {44 p}, YEAR = {2006}, DOI = {10.2168/LMCS-2(4:3)2006}, KEYWORDS = {r{\'e}seaux de d{\'e}monstration ; correctness criterion ; proof nets ; linear logic ; -autonomous category ; multiplicative constants ; logique lin{\'e}aire ; cat{\'e}gorie *-autonome ; constantes multiplicatives ; crit{\`e}re de correction}, PDF = {https://inria.hal.science/inria-00099865v2/file/FreeStarLMCS.pdf}, HAL_ID = {inria-00099865}, HAL_VERSION = {v2}, }