P. Blackburn and J. Bos, Representation and Inference for Natural Language. A First Course in Computational Semantics, CSLI, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00001208

E. Bach and B. H. Partee, Anaphora and Semantic Structure, Compositionality in Formal Semantics (Blackwell), pp.122-152, 1980.
DOI : 10.1002/9780470751305.ch6

R. Cooper, Quantification and Syntactic Theory, Reidel, 1983.
DOI : 10.1007/978-94-015-6932-3

C. Pollard and I. A. Sag, Head-Driven Phrase Structure Grammar, 1994.

R. Cooper, Montague's Semantic Theory and Transformational Syntax, 1975.

R. Montague, The proper treatment of quantification in ordinary english, Approaches to natural language: proceedings of the 1970 Stanford workshop on Grammar and Semantics, 1973.

C. Pollard, Covert Movement in Logical Grammar
DOI : 10.1007/BFb0031928

C. Pollard, The Calculus of Responsibility and Commitment
DOI : 10.1007/978-3-642-19211-1_11

P. De-groote, 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

G. Gazdar, Unbounded Dependencies and Coordinate Structure, Linguistic Inquiry, vol.12, pp.155-184, 1981.
DOI : 10.1007/978-94-009-3401-6_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.5831

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058

H. Curry, Some logical aspects of grammatical structure, Studies of Language and its Mathematical Aspects, Providence, Proc. of the 12th Symp, pp.56-68, 1961.
DOI : 10.1090/psapm/012/9981

P. De-groote and S. Pogodalla, On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms, Journal of Logic, Language and Information, vol.223, issue.4, pp.421-438, 2004.
DOI : 10.1007/s10849-004-2114-x
URL : https://hal.archives-ouvertes.fr/inria-00112956

P. De-groote and S. Maarek, Type-theoretic extensions of ab- stract categorial grammars In: New Directions in Type- Theoretic Grammars, proceedings of the workshop, pp.18-30, 2007.

S. Pogodalla, Generalizing a proof-theoretic account of scope ambiguity, Proceedings of the 7th International Workshop on Computational Semantics -IWCS-7 Deparment of Communication and Information Sciences, pp.154-165, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00112898

S. Hinderer, Automatisation de la construction smantique dans TYn, 2008.