@inproceedings{degroote:inria-00100816, TITLE = {{A dynamic programming approach to categorial deduction}}, AUTHOR = {de Groote, Philippe}, URL = {https://inria.hal.science/inria-00100816}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{16th International Conference on Automated Deduction - CADE-16}}, ADDRESS = {Trento, Italy}, HAL_LOCAL_REFERENCE = {99-R-390 || de\_groote99c}, EDITOR = {H. Ganzinger}, PUBLISHER = {{Springer Verlag}}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {1632}, PAGES = {1--15}, YEAR = {1999}, KEYWORDS = {lambek calculus ; calcul de lambek}, HAL_ID = {inria-00100816}, HAL_VERSION = {v1}, }