B. Carpenter, Lectures on Type-Logical Semantics, 1996.

V. Danos, Une application de la logique linnaire l''tude des processus de normalisation et principalement du lambda calcul, Thhse de doctorat, 1990.

V. Danos and L. Regnier, The structure of multiplicatives, Archive for Mathematical Logic, vol.28, issue.3, p.1811203, 1989.
DOI : 10.1007/BF01622878

V. Danos and L. Reigner, Local and asynchronous beta-reductions, Proceedings of the eighth annual symposium on Logic in Computer Science, 1993.

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, p.11102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. Girard, Linear Logic: its syntax and semantics, Advances in Linear Logic, 1995.
DOI : 10.1017/CBO9780511629150.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2507

J. Girard, Y. Lafont, and P. Taylor, Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science, 1989.

W. A. Howard, The formulae-as-types notion of construction, to H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, p.4799490, 1980.

F. Lamarche, Games semantics for full propositional linear logic, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 1995.
DOI : 10.1109/LICS.1995.523280

F. Lamarche and C. Retorr, Proof nets for the lambek calculus, Third Roma Workshop: Proofs and Linguistic Categories, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00098442

J. Lambek, The mathematics of sentence structure, Amer. Math. Monthly, vol.65, p.1544170, 1958.

A. Lecomte, Towards eecient parsing with proofnets, 11 th Conference of European chapter of the Association for Computational Linguistics, 1993.

R. Montague, The proper treatment of quantiication in ordinary english, Approaches to natural language: proceedings of the 1970 Stanford workshop on Grammar and Semantics, 1973.

M. Moortgat, Categorial Investigations: logical and linguistic aspects of the lambek calculus, 1988.

G. Morrill, Memoisation of categorial proof nets: parallelism in categorial processing, 1996.

G. V. Morrill, Type Logical Grammar, 1994.
DOI : 10.1007/978-94-011-1042-6

A. Ranta, Type theoretical grammar, 1994.

L. Regnier, Lambda calcul et Rseaux, Thhse de doctorat, spcialitt mathhmatiques, 1992.

C. Retorr, Des rrseaux de ddmonstration pour la linguistique: une introduction la logique linnaire

D. Roorda, Resource Logics: proof-theoretical investigations, 1991.

A. Troelstra, Lectures on Linear Logic, volume 29 of CSLI Lecture Notes. Center for the Study of Language and Information, 1992.

J. Van-benthem, The semantics of variety in categorial grammar, Categorial Grammars. John Benjamins, 1988.
DOI : 10.1075/llsee.25.06ben

J. Van-benthem, Language in action, Journal of Philosophical Logic, vol.7, issue.3, 1991.
DOI : 10.1007/BF00250539