B. Carpenter, Type-Logical Semantics, 1997.

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

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 and S. Maarek, Type-theoretic extensions of Abstract Categorial Grammars In: proceedings of New Directions in Type-Theoretic Grammars, pp.18-30, 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

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
DOI : 10.1007/s10849-004-2114-x
URL : https://hal.archives-ouvertes.fr/inria-00390490

P. De-groote, R. Yoshinaka, and S. Maarek, On Two Extensions of Abstract Categorial Grammars, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, pp.273-287, 2007.
DOI : 10.1007/978-3-540-75560-9_21
URL : https://hal.archives-ouvertes.fr/inria-00609120

M. Johnson, Proof nets and the complexity of processing center embedded constructions, Journal of Logic, Language and Information, vol.7, issue.4, 1998.

A. K. Joshi and Y. Schabes, Tree-Adjoining Grammars, Handbook of formal languages, 1997.
DOI : 10.1007/978-3-642-59126-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.502

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.

M. Kanazawa and S. Pogodalla, Advances in Abstract Categorial Grammars: Language theory and linguistic modelling. ESSLLI, Lecture Notes, 2009.

Y. Kubota and C. Pollard, Phonological Interpretation into Preordered Algebras, Proceedings of the 11th Meeting of the Association for Mathematics of Language (MOL'11), 2009.
DOI : 10.1007/978-3-642-14322-9_15

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

J. Lambek, On the calculus of syntactic types, Structure of Language and its Mathematical Aspects. Proceedings of Symposia in Applied Mathematics, XII, 1961.
DOI : 10.1090/psapm/012/9972

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, Categorial type logics, Handbook of Logic and Language, pp.93-177, 1996.

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. Morrill, Categorial formalisation of relativisation: Islands, extraction sites and pied piping, 1992.

G. V. Morrill, Incremental Processing and Acceptability, Computational Linguistics, vol.26, issue.3, pp.319-338, 2000.
DOI : 10.1002/malq.19810271306
URL : http://doi.org/10.1162/089120100561728

R. Muskens, Lambda Grammars and the Syntax-Semantics Interface, Proceedings of the Thirteenth Amsterdam Colloquium, pp.150-155, 2001.

R. Muskens, Language, Lambdas, and Logic, Resource Sensitivity in Binding and Anaphora Studies in Linguistics and Philosophy, pp.23-54, 2003.
DOI : 10.1007/978-94-010-0037-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.82

R. Muskens, Separating Syntax and Combinatorics in Categorial Grammar, Research on Language and Computation, vol.3, issue.3, pp.267-285, 2007.
DOI : 10.1007/s11168-007-9035-1
URL : https://hal.archives-ouvertes.fr/hal-00412582

S. Pogodalla, Computing semantic representation: Towards ACG abstract terms as derivation trees In: Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), pp.64-71, 2004.

S. Pogodalla, J. Geertzen, E. Thijsse, H. Bunt, and A. Schiffrin, Generalizing a proof-theoretic account of scope ambiguity, Proceedings of the 7th International Workshop on Computational Semantics -IWCS-7, pp.154-165, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00112898

A. Ranta, Type Theoretical Grammar, 1994.

C. Retoré and S. Salvati, A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars, Journal of Logic, Language and Information, vol.55, issue.3???4, pp.185-200, 2010.
DOI : 10.1007/s10849-009-9111-z

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

S. Salvati, Minimalist Grammars in the Light of Logic
DOI : 10.1007/3-540-48199-0_2
URL : https://hal.archives-ouvertes.fr/inria-00563807

C. C. Shan, Delimited continuations in natural language : Quantification and polarity sensitivity, Proceedings of the 4th continuations workshop, pp.55-64, 2004.

S. M. Shieber, Unifying synchronous tree-adjoining grammars and tree transducers via bimorphisms, Proceedings of the 11th Conference of the European Chapter, pp.6-1048, 2006.
DOI : 10.3115/991146.991191
URL : http://acl.ldc.upenn.edu/C/C90/C90-3045.pdf

E. Stabler, Derivational minimalism, Logical Aspects of Computational Linguistics, LACL'96, pp.68-95, 1997.
DOI : 10.1007/BFb0052152
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.3127