Generation, Lambek Calculus, Montague’s Semantics and Semantic Proof Nets Sylvain Pogodalla author 2000 text COLING 2000 Volume 2: The 18th International Conference on Computational Linguistics conference publication pogodalla-2000-generation-lambek https://aclanthology.org/C00-2091/ 2000