@article{perrier:inria-00098816, TITLE = {{A PSPACE-complete fragment of second-order linear logic}}, AUTHOR = {Perrier, Guy}, URL = {https://inria.hal.science/inria-00098816}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Theoretical Computer Science}}, HAL_LOCAL_REFERENCE = {99-R-009 || perrier99a}, PUBLISHER = {{Elsevier}}, VOLUME = {224}, NUMBER = {1-2}, PAGES = {267-289}, YEAR = {1999}, DOI = {10.1016/S0304-3975(98)00315-6}, KEYWORDS = {logique lin{\'e}aire ; proof theory ; linear logic ; th{\'e}orie de la d{\'e}monstration}, HAL_ID = {inria-00098816}, HAL_VERSION = {v1}, }