A. Asudeh and R. Crouch, Glue for hpsg, Proceedings 8th Int. Conference on Head-Driven Phrase Structure Grammar, 2001.

[. Carpenter, Type-Logical Semantics, 1997.

P. De and G. , Towards abstract categorial grammars, Proceedings of ACL, pp.148-155, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100529

P. De and G. , Towards a motagovian account of dynamics, Proceedings of Semantics and Linguistic Theory XVI, 2006.

P. De, G. , and S. Pogodalla, On the expressive power of abstract categorial grammars: Representing context-free formalisms, Journal of Logic, Language and Information, vol.13, issue.4, pp.421-438, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00112956

A. Frank and J. Van-genabith, Glue tag: Linear logic based semantics construction for LTAG, Proceedings of the LFG '01 Conference , Online Proceedings. CSLI Publications, 2001.

G. V. Morrill, Type Logical Grammar Categorial Logic of Signs, 1994.

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

[. Pogodalla, Computing semantic representation: Towards ACG abstract terms as derivation trees, Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), pp.64-71, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00107768

S. Salvati, Problmes de filtrage et problmes d'analyse pour les grammaires catgorielles abstraites, 2005.

[. Salvati, Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear ??-Calculus, Proceedings of RTA 2006, 2006.
DOI : 10.1007/11805618_12

URL : https://hal.archives-ouvertes.fr/inria-00334006

R. Yoshinaka, Linearization of affine abstract categorial grammars, proceedings of Fromal Grammar, 2006.