A linear logical framework, Information and Computation, vol.179, issue.1, pp.19-75, 2002. ,
Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.148-155, 2001. ,
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529
Type-theoretic extensions of abstract categorial grammars, New Directions in Type-Theoretic Grammars, proceedings of the workshop, pp.18-30, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00187759
On Two Extensions of Abstract Categorial Grammars, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference Proceedings, volume 4790 of Lecture Notes in Computer Science, pp.273-287, 2007. ,
DOI : 10.1007/978-3-540-75560-9_21
URL : https://hal.archives-ouvertes.fr/inria-00609120
Quantifier scope in formal linguistics, Handbook of Philosophical Logic, 2008. ,