G. V. Morrill, Categorial Grammar : Logical Syntax, Semantics, and Processing, tome 37, 2001.

G. V. Morrill, A Count Invariant for Lambek Calculus with Additives and Bracket Modalities, 2013.

J. Munkres, Algorithms for the Assignment and Transportation Problems, Journal of the Society for Industrial and Applied Mathematics, vol.5, issue.1, pp.32-38, 1957.
DOI : 10.1137/0105003

R. Muskens, Categorial grammar and lexical-functional grammar, Proceedings of the LFG01 Conference, pp.259-279, 2001.

R. T. Oehrle, Term-labeled categorial type systems, Linguistics and Philosophy, vol.67, issue.4, pp.633-678, 1994.
DOI : 10.1007/BF00985321
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.4970

P. A. Pantel, Clustering by committee, 2003.

M. Pentus, Equivalent types in Lambek calculus and linear logic. MIAN Prepublication Series for Logic and Computer Science LCS-92-02, 1992.

M. Pentus, Abstract, The Journal of Symbolic Logic, vol.2, issue.02, pp.648-660, 1997.
DOI : 10.1016/S0019-9958(67)91172-2

C. Retoré and R. Et-bonato, Learning lambek grammars from proof frames, 2013.

D. Roorda, Resource Logics : A Proof-theoretical Study, Thèse de doctorat, 1991.

W. C. Rounds, Mappings and grammars on trees, Mathematical Systems Theory, vol.2, issue.3, pp.257-287, 1970.
DOI : 10.1007/BF01695769

N. Sandillon-rezer, Learning categorial grammar with tree transducers, 2011.

N. Sandillon-rezer, Extraction de PCFG et analyse de phrases pré-typées. Actes de la conférence conjointe JEP-TALN-RECITAL 2012, pp.205-218, 2012.

N. Sandillon-rezer, PCFG extraction and pre-typed sentence analysis, ESSLLI Student Session Proceedings, pp.164-173, 2012.

N. Sandillon-rezer, Ygg, parsing french text using AB grammars. Logical Aspects of Computational Linguistics -Demo session, pp.17-20, 2012.

S. Vn, P. Adv, and . Np-ats, Rule : use-ponct ? (SENT:* VPinf

?. Vn, VPpart:np\\s_p)

?. Vppart, :np\\s_p VPP:np\\s_p ("COORD:(np\\s_p)\\(np\\s_p) VPpart:np\\s_p)), CC:((np\\s_p)\\(np\\s_p))/(np\\s_p)

?. Vpinf, VPinf:*/(np\\s_i) VPinf-ATS:np\\s_i) Rule : ? (VPinf-OBJ:* tree Srel-MOD)

?. Sent, VPpart-A_OBJ:np\\s_p)