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

C. Barker and C. Shan, Donkey anaphora is in-scope binding, Semantics and Pragmatics, vol.1, issue.1, pp.1-46, 2008.
DOI : 10.3765/sp.1.1

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

B. Carpenter, Type-Logical Semantics, 1997.

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

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

P. W. Culicover and R. Jackendoff, Simpler Syntax, 2005.

H. Curry, Some logical aspects of grammatical structure, Studies of Language and its Mathematical Aspects, Proc. of the 12th Symp, 1961.

M. Dalrymple, Lexical Functional Grammar of Syntax and Semantics series, 2001.

G. Gazdar, Unbounded Dependencies and Coordinate Structure, Linguistic Inquiry, vol.12, pp.155-184, 1981.
DOI : 10.1007/978-94-009-3401-6_8

P. De-groote, Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, 2001.
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529

P. De-groote and S. Maarek, Type-theoretic extensions of Abstract Categorial Grammars, New Directions in Type-Theoretic Grammars, proceedings of the workshop, 2007.

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

H. Hendriks, Studied Flexibility: Categories and Types in Syntax and Semantics, 1993.

S. Hinderer, Automatisation de la construction sémantique dans TYn

R. Jackendoff, Pr??cis of Foundations of Language: Brain, Meaning, Grammar, Evolution,, Behavioral and Brain Sciences, vol.26, issue.06, 2002.
DOI : 10.1017/S0140525X03000153

M. Kanazawa, Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars, Journal of Logic, Language and Information, vol.88, issue.2, pp.137-161, 2009.
DOI : 10.1007/s10849-009-9109-6

M. Kanazawa and S. Salvati, Generating Control Languages with Abstract Categorial Grammars, Proceedings of The 12th conference on Formal Grammar FG, CSLI Publications, 2007.

R. M. Kaplan and J. Bresnan, Lexical-Functional Grammar: a formal system for grammatical representation, in: The Mental Representation of Grammatical Relations, pp.173-281, 1982.

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

R. Montague, The proper treatment of quantification in ordinary English, Approaches to natural language: proceedings of the, 1970.

M. Moortgat, Generalized quantifiers and discontinuous type constructors, De Gruyter, 1991.
DOI : 10.1515/9783110873467.181
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.6337

M. Moortgat, Categorial Type Logics, in: Handbook of Logic and Language, pp.93-177, 1996.

R. T. Oehrle, Term-labeled categorial type systems, Linguistic and Philosophy, pp.633-678, 1994.
DOI : 10.1007/BF00985321

S. Pogodalla, Ambigu¨?téAmbigu¨?té de portée et approche fonctionnelle des TAG, Actes de TALN'07, 2007.

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

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

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

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

S. Salvati, Encoding second order string ACG with Deterministic Tree Walking Transducers, Proceedings of The 11th conference on Formal Grammar FG 2006 (Shuly Wintner, FG Online Proceedings, CSLI Publications, 2006.

S. Salvati, A Note on the Complexity of Abstract Categorial Grammars, Proceedings of the 10th Conference on Mathematics of Language, 2007.
DOI : 10.1007/978-3-642-14322-9_20

M. Steedman, Surface Structure and Interpretation, 1996.