@inproceedings{perrier:inria-00098572, TITLE = {{Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract}}, AUTHOR = {Perrier, Guy}, URL = {https://inria.hal.science/inria-00098572}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{4th Workshop on Logic, Language, Information and Computation - WoLLIC'97}}, ADDRESS = {Forataleza, Brazil, France}, HAL_LOCAL_REFERENCE = {98-R-085 || perrier98a}, SERIES = {Journal of the IGPL}, PAGES = {907-910}, YEAR = {1998}, KEYWORDS = {r{\'e}seaux de d{\'e}monstration ; Linear Logic ; Proof Nets ; Categorial Grammars ; grammaires cat{\'e}gorielles ; logique lin{\'e}aire}, HAL_ID = {inria-00098572}, HAL_VERSION = {v1}, }