C. I. Pfenning-f, A linear logical framework, Information and Computation, vol.179, issue.1, pp.19-75, 2002.

D. Groote and P. , 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

D. Groote and P. Maarek-s, 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

D. Groote, P. , and Y. R. Maarek-s, 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

R. E. Winter-y, Quantifier scope in formal linguistics, Handbook of Philosophical Logic, 2008.