I. Cervesato and F. Pfenning, A Linear Logical Framework, Information and Computation, vol.179, issue.1, pp.19-75, 2002.
DOI : 10.1006/inco.2001.2951

H. B. Curry, Some logical aspects of grammatical structure, Proceedings of symposia in applied mathematics, volume XII, 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, 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, 2001.

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. Martin-löf, An Intuitionistic Theory of Types: Predicative Part, Logic Colloquium '73, pp.73-118, 1975.
DOI : 10.1016/S0049-237X(08)71945-1

M. Moortgat, Categorial type logic, Handbook of Logic and Language, chapter, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00000314

G. Morrill, Type Logical Grammar: Categorial Logic of Signs, 1994.
DOI : 10.1007/978-94-011-1042-6

A. Ranta, Type theoretical grammar, 1994.

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

S. Salvati, Probì emes de filtrage etprobì emes d'analyse pour les grammaires catégorielles abstraites, Thèse de Doctorat. Institut National Polytechnique de Lorraine, 2005.