@article{lamarche:inria-00099461, TITLE = {{On the Algebra of Structural Contexts}}, AUTHOR = {Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00099461}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Mathematical Structures in Computer Science}}, HAL_LOCAL_REFERENCE = {A01-R-195 || lamarche01a}, PUBLISHER = {{Cambridge University Press (CUP)}}, PAGES = {51 p}, YEAR = {2003}, KEYWORDS = {algebraic theories ; combinatorial species ; cut-elimination ; display logic ; linear logic ; multi-categories ; operads ; sequent calculus ; structural contexts ; substructural logics ; {\'e}limination des coupures ; logique lin{\'e}aire ; operades ; calcul des s{\'e}quents ; contextes structuraux ; logiques sub-structurales ; alg{\`e}bre universelle ; universal algebra ; th{\'e}ories alg{\'e}briques}, PDF = {https://inria.hal.science/inria-00099461/file/A01-R-195.pdf}, HAL_ID = {inria-00099461}, HAL_VERSION = {v1}, }