@inproceedings{pogodalla:inria-00099269, TITLE = {{Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets}}, AUTHOR = {Pogodalla, Sylvain}, URL = {https://inria.hal.science/inria-00099269}, BOOKTITLE = {{Proceedings of the 18th International Conference on Computational Linguistics (COLING 2000)}}, ADDRESS = {Sarrebr{\"u}ck, Germany}, HAL_LOCAL_REFERENCE = {A00-R-454 || pogodalla00b}, EDITOR = {Martin Kay}, VOLUME = {2}, PAGES = {628-634}, YEAR = {2000}, MONTH = Aug, KEYWORDS = {calcul de lambek ; semantic proof nets ; lambek calculus ; g{\'e}n{\'e}ration ; r{\'e}seaux de d{\'e}monstration s{\'e}mantiques}, HAL_ID = {inria-00099269}, HAL_VERSION = {v1}, }