@inproceedings{lamarche:inria-00098442, TITLE = {{Proof Nets for the Lambek Calculus - an overview}}, AUTHOR = {Lamarche, Fran{\c c}ois and Retor{\'e}, Christian}, URL = {https://inria.hal.science/inria-00098442}, NOTE = {Colloque sur invitation.}, BOOKTITLE = {{Third Roma Workshop: Proofs in Linguistic Categories}}, ADDRESS = {Roma, Italy}, HAL_LOCAL_REFERENCE = {98-R-204 || lamarche98a}, PUBLISHER = {{Universita di Bologna}}, SERIES = {Rapporto di Ricerca del Dipartimento de Filosifia}, PAGES = {241-262}, YEAR = {1998}, KEYWORDS = {Categorial grammars ; linear logic ; the Lambek Calculus ; calcul de Lambek ; logique lin{\'e}aire ; r{\'e}seaux de d{\'e}monstration ; proof nets ; Grammaires cat{\'e}gorielles}, HAL_ID = {inria-00098442}, HAL_VERSION = {v1}, }