I. Bibliographie and K. Ajdukiewicz, Die syntaktische Konnexitat In: Studia Philosophica 1. English translation in Polish Logic 1920-1939, pp.207-231, 1935.

Y. Bar-hillel, A Quasi-Arithmetical Notation for Syntactic Description, Language, vol.29, issue.1, 1953.
DOI : 10.2307/410452

C. Barker, Cosubstitution, derivational locality, and quantifier scope url: http://semanticsarchive Essays in Logical Semantics, Proceedings of the Tenth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+10) Studies in Linguistics and Philosophy, pp.135-142, 1986.

R. Bibliographie, I. Curry, and H. Brooks, 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.

L. Danlos, A. Maskharashvili, and S. Pogodalla, Interfacing Sentential and Discourse TAG-based Grammars In: The 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12) Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12) Towards Abstract Categorial Grammars, 39th Annual Meeting and 10th Conference of the European Chapter Proceedings of the Conference, pp.148-155, 2001.

R. Bibliographie, I. De-groote, and P. , Tree-Adjoining Grammars as Abstract Categorial Grammars, Proceedings of the Sixth International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6). Università di Venezia, pp.145-150, 2002.

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, pp.123-130, 2003.
DOI : 10.3115/1067807.1067825

URL : https://hal.archives-ouvertes.fr/inria-00107643

P. Groote, S. De, and . Pogodalla, On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms, Journal of Logic, Language and Information 13, pp.421-438, 2004.
DOI : 10.1017/S0956796803004738

URL : https://hal.archives-ouvertes.fr/inria-00112956

W. Howard and H. B. Alvin, Curry: Essays on combinatory logic, Lambda Calculus and Formalism Chap. The Formulae-as-Types Notion of Construction, pp.479-490, 1980.

R. Bibliographie, I. Joshi, and K. Aravind, Preface " . In: Computational Intelligence 10, 1994.

L. Kallmeyer and M. Romero, LTAG Semantics with Semantic Unification url: http://www.sfs.uni-tuebingen.de/ ~ lk/papers/kallmrom- tag+7 Scope and Situation Binding for LTAG, Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms -TAG+7 Research on Language and Computation 6.1, pp.155-162, 2004.

M. Kanazawa, Parsing and Generation as Datalog Queries, Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics (ACL), pp.176-183, 2007.

S. Pogodalla, A. For, V. Syntax-semantics-interface-references-bibliographie, and M. Kanazawa, A prefix-correct Earley recognizer for multiple context-free grammars, Proceedings of the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+9), 2008.

G. Tuebingen, Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars, Kanazawa.pdf. Kanazawa, Makoto Journal of Logic, Language, and Information, vol.19, issue.2, pp.49-56, 2009.

M. Kanazawa, Parsing and Generation as Datalog Query Evaluation In: IfCoLog Journal of Logics and their Applications 4.4. Special Issue Dedicated to the Memory of Grigori Mints, 2017.

S. Pogodalla, A. For, V. Syntax-semantics-interface-references-bibliographie, M. Kanazawa, and S. Salvati, Generating Control Languages with Abstract Categorial Grammars Proceedings of The 12th conference on Formal Grammar FG, 2007.

G. M. Kobele, Idioms and Extended Transducers Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+), pp.153-161, 2012.

G. M. Kobele and J. Michaelis, CoTAGs and ACGs, Lecture Notes in Computer Science, vol.7351, 2012.
DOI : 10.1007/978-3-642-31262-5_8

S. Pogodalla, A. For, V. Syntax-semantics-interface-references-bibliographie, A. Koller, and M. Kuhlmann, A Generalized View on Parsing and Translation, Proceedings of the 12th International Conference on Parsing Technologies, pp.2-13, 2011.

A. Koller and M. Kuhlmann, Decomposing TAG Parsing Algorithms Using Simple Algebraizations, Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+), pp.135-143, 1958.

A. Maskharashvili, Discourse Modeling with Abstract Categorial Grammars, p.1412765, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01412765

R. Bibliographie, V. Muskens, and R. , Lambda Grammars and the Syntax-Semantics Interface, Proceedings of the Thirteenth Amsterdam Colloquium, 2001.

R. Ed, M. Van-rooy, . Stokhof, and . Amsterdam, Synchronous and Multicomponent Tree-Adjoining Grammars: Complexity, Algorithms, and Applications, Lambdas, Language, and Logic " . In: Resource Sensitivity in Binding and Anaphora. Ed. by Geert-Jan Kruijff and Richard T. Oehrle. Studies in Linguistics and Philosophy. Kluwer Simpler TAG Semantics Through Synchronization " . In: Proceedings of the 11th Conference on Formal Grammar, pp.150-155, 2003.

S. Pogodalla, A. For, I. Syntax-semantics-interface-references-bibliographie, and R. T. Oehrle, Term-Labeled Categorial Type Systems, Linguistic and Philosophy 17.6, pp.633-678, 1994.

R. T. Oehrle, Some 3-Dimensional Systems of Labelled Deduction, Logic Jnl IGPL 3.2-3 Ambigu¨?téAmbigu¨?té de portée et approche fonctionnelle des TAG " . In: Traitement Automatique des Langues Naturelles -TALN 2007, pp.429-448, 1995.
DOI : 10.1093/jigpal/3.2-3.429

S. Pogodalla, Generalizing a Proof-Theoretic Account of Scope Ambiguity Type Theoretical Grammar, 7th International Workshop on Computational Semantics -IWCS-7, 1994.

A. Ranta, Grammatical Framework, Journal of Functional Programming, vol.14, issue.2, pp.145-189, 2004.
DOI : 10.1017/S0956796803004738

R. Bibliographie, X. Salvati, and . Sylvain, Encoding second order string ACG with Deterministic Tree Walking Transducers In: Proceedings of The 11th conference on Formal Grammar FG, Shuly Wintner. FG Online Proceedings. Malaga Espagne: CSLI Publications, pp.143-156, 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

K. Vijay-shanker and A. K. Joshi, Feature structures based Tree Adjoining Grammars, Proceedings of the 12th conference on Computational linguistics -, pp.714-718, 1988.
DOI : 10.3115/991719.991783

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