B. Proposition, There exists t : ? ? ? ?HO build using only applications if and only if there exists t : ? a closed term of ? ? 2nd with ? the unique element of At(T ) such that ? := ? and L(t ) = t

A. Abeillé, Une grammairé electronique du fran cais, CNRSÉditionsCNRS´CNRSÉditions, 2002.

A. Asudeh and R. Crouch, Glue for HPSG, Proceedings 8th Int. Conference on Head-Driven Phrase Structure Grammar, 2001.

E. Bach and B. H. Partee, Anaphora and Semantic Structure, Proceedings the Chicago Linguistic Society, l6: Parasession on Anaphora. Reprinted in Barbara H. Partee, Compositionality in Formal Semantics (Blackwell), pp.122-152, 1980.
DOI : 10.1002/9780470751305.ch6

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

J. Bos, Predicate Logic Unplugged, Proceedings of the Tenth Amsterdam Colloquium, 1995.

B. Carpenter, Type-Logical Semantics, 1997.

L. Champollion, Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete, Proceedings of Mathematics of Language (MOL) 10, 2007.
DOI : 10.1007/s10849-011-9133-1

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

A. Copestake, Minimal Recursion Semantics: An Introduction, Research on Language and Computation, vol.19, issue.1, pp.281-332, 2005.
DOI : 10.1007/s11168-006-6327-9

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

H. B. Curry, Some logical aspects of grammatical structure, Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics, pp.56-68, 1961.
DOI : 10.1090/psapm/012/9981

M. Dalrymple, Semantics and Syntax in Lexical Functional Grammar: The Resource Logic Approach

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

P. De-groote, Tree-Adjoining Grammars as Abstract Categorial Grammars. TAG+6, Proceedings of the sixth International Workshop on Tree Adjoining Grammars and Related Frameworks, pp.145-150, 2002.

P. De-groote, Towards a Montagovian account of dynamics, Proceedings of Semantics and Linguistic Theory (SALT) 16, 2006.

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

P. De-groote and S. Pogodalla, m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars, MOL 8, proceedings of the eighth Mathematics of Language Conference, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00107690

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, S. Pogodalla, and C. Pollard, On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar, 16th Workshop on Logic, Language, Information and Computation, pp.182-196, 2009.
DOI : 10.1007/s10849-004-2114-x
URL : https://hal.archives-ouvertes.fr/inria-00390490

M. Egg, A. Koller, and J. And-niehren, The Constraint Language for Lambda Structures, Journal of Logic, issue.10, pp.457-485, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00536795

A. Frank and J. Van-genabith, Glue Tag: Linear Logic based Semantics Construction for LTAG -and What it Teaches Us About the Relation Between LFG and LTAG, Proceedings of the LFG '01 Conference. Online Proceedings, 2001.

C. Gardent and L. Kallmeyer, Semantic construction in feature-based TAG, Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics , EACL '03, 2003.
DOI : 10.3115/1067807.1067825
URL : https://hal.archives-ouvertes.fr/inria-00107643

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

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

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

A. K. Joshi and Y. Schabes, Tree-adjoining grammars. In Handbook of formal languages, Rozenberg and A. Salomaa, vol.3, issue.2, 1997.

A. K. Joshi, An Introduction to Tree Adjoining Grammar, Mathematics of Language Proceedings of a conference held at the University of Michigan, 1984.
DOI : 10.1075/z.35.07jos

A. K. Joshi, L. S. Levy, and M. Takahashi, Tree adjunct grammars, Journal of Computer and System Sciences, vol.10, issue.1, pp.136-163, 1975.
DOI : 10.1016/S0022-0000(75)80019-5

L. Kallmeyer, Using an Enriched TAG Derivation Structure as Basis for Semantics, Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+6), 2002.

M. Kanazawa, Parsing and Generation as Datalog Queries http://www.aclweb.org/anthology/P/P07/P07- 1023, Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics (ACL), pp.176-183, 2007.

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, J. Hintikka, J. Moravcsik, and P. Suppes, The Proper Treatment of Quantification in Ordinary English, Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics. Reprinted in Formal Philosophy, pp.247-270, 1973.

R. Montague, The Proper Treatment of Quantification in Ordinary English In Formal Philosophy: Selected Papers of Richard Montague. Re-edited in " Formal Semantics: The Essential Readings, 1974.

M. Moortgat, Generalized quantifiers and discontinuous type constructors, Discontinuous constituency, 1991.
DOI : 10.1515/9783110873467.181

R. Moot and M. Piazza, Linguistic Applications of First Order Intuitionistic Linear Logic, Journal of Logic, Language and Information, vol.10, issue.2, pp.211-232, 2001.
DOI : 10.1023/A:1008399708659

G. V. Morrill, Type Logical Grammar Categorial Logic of Signs, 1994.

R. Muskens, Order-Independence and Underspecification. In Ellipsis, Underspecification, Events and More in Dynamic Semantics, pp.15-34, 1995.

S. Pogodalla, Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees. Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms -TAG+7, pp.64-71, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00107768

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

S. Pogodalla, Generalizing a Proof-Theoretic Account of Scope Ambiguity, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00112898

S. Pogodalla, M. Quatrini, R. , and C. , Logic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, Pogodalla, M. Quatrini, and C. Retoré. Lecture Notes in Computer Science, vol.6700, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00607880

C. Pollard, Covert Movement in Logical Grammar In Logic and Grammars: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, Pogodalla, M. Quatrini, and C. Retoré. LNCS/LNAI, vol.6700, pp.17-40, 2011.

C. Pollard, The Calculus of Responsibility and Commitment Revised Selected Papers, Ludics, Dialogue and Interaction. PRELUDE Project, pp.174-187, 2006.

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

O. Rambow, Formal and Computational Aspects of Natural Language Syntax, 1994.

O. Rambow and G. Satta, Formal Properties of Non-Locality, Proceedings of the 1st International Workshop on Tree Adjoining Grammrs, 1992.

J. Rogers and K. Vijay-shanker, Reasoning with descriptions of trees, Proceedings of the 30th annual meeting on Association for Computational Linguistics -, pp.72-80, 1992.
DOI : 10.3115/981967.981977

S. Salvati, Probì emes de filtrage etprobì emes d'analyse pour les grammaires catégorielles abstraites, 2005.

S. Salvati, Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear ??-Calculus, Proceedings of RTA 2006, pp.10-1007, 2006.
DOI : 10.1007/11805618_12
URL : https://hal.archives-ouvertes.fr/inria-00334006

W. Schuler, D. Chiang, and M. Dras, Multi-component TAG and notions of formal power, Proceedings of the 38th Annual Meeting on Association for Computational Linguistics , ACL '00, pp.448-455, 2000.
DOI : 10.3115/1075218.1075275

K. Vijay-shanker, Using Descriptions of Trees in a Tree Adjoining Grammar, Computational Linguistics, vol.18, issue.4, pp.481-518, 1992.

D. J. Weir, Characterizing Mildly Context-Sensitive Grammar Formalisms, 1988.

G. Xtag-research, A Lexicalized Tree Adjoining Grammar for English, 2001.

R. Yoshinaka, Linearization of Affine Abstract Categorial Grammars. proceedings of Fromal Grammar, 2006.