A. T. Aoto, Uniqueness of normal proofs in implicational intuitionistic logic, Journal of Logic, Language and Information, vol.8, issue.2, pp.217-242, 1999.
DOI : 10.1023/A:1008254111992

B. C. Bassac, B. Mery, and C. Retoré, Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic, Language and Information, vol.12, issue.2, pp.229-245, 2011.
DOI : 10.1007/s10849-009-9113-x
URL : https://hal.archives-ouvertes.fr/inria-00408308

M. Coppo and M. Dezani-ciancaglini, An extension of the basic functionality theory for the $\lambda$-calculus., Notre Dame Journal of Formal Logic, vol.21, issue.4, pp.685-693, 1980.
DOI : 10.1305/ndjfl/1093883253

C. H. Curry, Some logical aspects of grammatical structure, 1961. dG01. P. de Groote. Towards abstract categorial grammars, Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter Proceedings of the Conference, pp.148-155, 2001.

. M. Kan07 and . Kanazawa, Parsing and generation as Datalog queries, Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics, pp.176-183, 2007.

M. Kanazawa, Work presented at the logic seminar in NII, 2010.

R. Montague, Formal Philosophy: Selected Papers of Richard Montague, 1974.

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

M. R. Muskens, New Directions in Type-Theoretic Grammars, Journal of Logic, Language and Information, vol.14, issue.2, pp.129-136
DOI : 10.1007/s10849-009-9114-9
URL : http://dx.doi.org/10.1007/s10849-009-9114-9

P. Pogodalla, Generation, Lambek calculus, Montague's semantics and semantic proof nets, Proceedings of the 18th conference on Computational linguistics -, 2000.
DOI : 10.3115/992730.992737
URL : http://acl.ldc.upenn.edu/C/C00/C00-2091.pdf

R. A. Ranta, The gf resource grammar library Linguistic Issues in Language Technology, Sal05. S. Salvati.Probì emes de filtrage etprobì emes d'analyse pour les grammaires catégorielles abstraites, pp.1-63, 2005.

. S. Sal07 and . Salvati, On the membership problem for non-linear abstract categorial grammars, Proceedings of the Workshop on New Directions in Type-theoretic Grammars Foundation of Logic, Language and Information (FoLLI), pp.43-50, 2007.

. S. Sal10 and . Salvati, On the Membership Problem for Non-Linear Abstract Categorial Grammars, Ull88. J. Ullman. Principles of Database and Knowledge-Base Systems. Volume I. W. H, pp.163-183, 1988.

Y. R. Yoshinaka, Linearization of affine abstract categorial grammars, Proceedings of the 11th Conference on Formal Grammar, pp.185-199, 2006.