K. Ajdukiewicz, Die syntaktische Konnexitat, Polish Logic, pp.1-27, 1920.

V. Danos, Une Application de la Logique Linéairè a l' ´ Etude des Processus de Normalisation (principalement du -calcul), 1990.

P. De, G. , and C. Retoré, On the semantic readings of proof-nets, Formal Grammar, pp.57-70, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00823554

R. David, R. E. Dowty, S. Wall, and . Peters, Introduction to Montague Semantics, 1981.

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

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

J. Girard, Geometry of Interaction 1: Interpretation of System F, Logic Colloquium '88, pp.221-260, 1989.
DOI : 10.1016/S0049-237X(08)70271-4

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

J. Girard, Geometry of interaction III: The general case, Advances in Linear Logic Proceedings of the Workshop on Linear Logic, pp.329-389, 1993.

W. A. Howard, To H. B. Curry: Essays on combinatory logic, Lambda Calculus and Formalism, chapter The Formulae-as-Types Notion of Construction, pp.479-490, 1980.

F. Lamarche and C. Retoré, Proofnets for the lambek calculus ? an overview, Proceedings 1996 Roma Workshop. Proofs and Linguistic Categories, pp.241-262, 1996.

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

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058

A. Lecomte and C. Retoré, Pomset logic as an alternative categorial grammar, Formal Grammar, 1995.

M. Josep, G. Merenciano, and . Morrill, Generation as deduction on labelled proof nets, Proceedings of the 1st International Conference on Logical Aspects of Computational Linguistics (LACL-96), volume 1328 of LNAI, pp.310-328, 1997.

R. Montague, Formal Philosophy: Selected Papers of Richard Montague, 1974.

M. Moortgat, Categorial type logics, Handbook of Logic and Language, pp.5-91, 1996.
DOI : 10.1016/b978-0-444-53726-3.00002-5

C. Retoré, A note on turbo cut elimination, 1990.

C. Retoré, Réseaux et séquents ordonnés, 1993.

D. Roorda, Resource Logics: Proof-theoretical Investigations, 1991.