@article{degroote:inria-00098817, TITLE = {{An algebraic correctness criterion for intuitionistic multiplicative proof-nets}}, AUTHOR = {de Groote, Philippe}, URL = {https://inria.hal.science/inria-00098817}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Theoretical Computer Science}}, HAL_LOCAL_REFERENCE = {99-R-007 || de\_groote99b}, PUBLISHER = {{Elsevier}}, VOLUME = {224}, NUMBER = {1-2}, PAGES = {115-134}, YEAR = {1999}, DOI = {10.1016/S0304-3975(98)00309-0}, KEYWORDS = {N.A. ; N.A}, HAL_ID = {inria-00098817}, HAL_VERSION = {v1}, }