@article{perrier:inria-00098573, TITLE = {{Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''}}, AUTHOR = {Perrier, Guy}, URL = {https://inria.hal.science/inria-00098573}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Theoretical Computer Science}}, HAL_LOCAL_REFERENCE = {98-R-086 || perrier98b}, PUBLISHER = {{Elsevier}}, VOLUME = {206}, NUMBER = {1-2}, PAGES = {353-354}, YEAR = {1998}, KEYWORDS = {th{\'e}orie de la d{\'e}monstration ; logique lin{\'e}aire ; proof theory ; linear logic}, HAL_ID = {inria-00098573}, HAL_VERSION = {v1}, }