@inproceedings{lamarche:inria-00100811, TITLE = {{Multiplicative Linear Logics and Fibrations}}, AUTHOR = {Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00100811}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{Category Theory in computer science - CTCS'2002}}, ADDRESS = {Ottawa, Ontario, Canada}, ORGANIZATION = {{R Blute, Ph. Scott}}, HAL_LOCAL_REFERENCE = {A02-R-218 || lamarche02a}, EDITOR = {R. Blute}, PUBLISHER = {{Elsevier North Holland}}, SERIES = {Electronic notes in theoretical computer science}, VOLUME = {69}, PAGES = {21 p}, YEAR = {2002}, MONTH = Nov, KEYWORDS = {grothendieck fibratio ; logic non commutative ; non commutative logic ; multiplicative linear logic ; substructural logic ; operad ; logique sous-structurelle ; operade ; fibration de grothendieck}, HAL_ID = {inria-00100811}, HAL_VERSION = {v1}, }