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

E. Stabler, Derivational minimalism, LNCS/LNAI, vol.1328, pp.68-95, 1997.
DOI : 10.1007/BFb0052152
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.3127

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

F. Morawietz, Two-Step Approaches ot Natural Language Formalisms. Studies in Generative Grammar, 2003.
DOI : 10.1515/9783110197259

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

M. Capelletti, Parsing with Structure-Preserving Categorial Grammars, 2007.

M. Moortgat, Categorial Investigations: Logical & Linguistic Aspects of the Lambek Calculus, 1988.

R. Moot, Grail: an interactive parser for categorial grammars, Proceedings of VEXTAL 1999, pp.255-261, 1999.

H. P. Barendregt, The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, 1984.

G. Huet, Résolution d'´ equations dans des langages d'ordre 1, Thèse de doctorat es sciences mathématiques, 1976.

J. Lambek, On the calculus of syntactic types, Studies of Language and its Mathematical Aspects, Proceedings of the 12th Symposium of Applied Mathematics, pp.166-178, 1961.
DOI : 10.1090/psapm/012/9972

J. Y. Girard, P. Taylor, and Y. Lafont, Proofs and types, 1989.

H. J. Tiede, Deductive Systems and Grammars: Proofs as Grammatical Structures, 1999.

J. Engelfriet and S. Maneth, The equivalence problem for deterministic MSO tree transducers is decidable, Information Processing Letters, vol.100, issue.5, pp.206-212, 2006.
DOI : 10.1016/j.ipl.2006.05.015

M. Kandulski, Derived tree languages of nonassociative lambek categorial grammars with product. Fundam, Inform, vol.55, pp.349-362, 2003.

W. Buszkowski, Mathematical linguistics and proof theory Handbook of Logic and Language, pp.683-736, 1997.