]. Girard87 and . Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4

R. Bonotto, S. Ferro, A. Valentini, and . Zanardo, Geometry of interaction I: Interpretation of system F. In : Logic Colloquium '88, éd. par C, pp.221-260

]. Girard93 and . Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, 1993.
DOI : 10.1016/0304-3975(87)90045-4

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

. Lamarche, ? Proof-nets for the lambek calculus ? an overview, Proceedings 1996 Roma Workshop. Proofs and Linguistic Categories, éd. par V. M. Abrusci et C. Casadio, pp.241-262

]. F. Lamarche95 and . 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. Lambek58 and . Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058

. Lecomte, 95] A. Lecomte et C. Retoré. ? Pomset logic as an alternative categorial grammar, 1995.

. Merenciano, Generation as deduction on labelled proof nets, Retoré [Retore97], pp.310-328
DOI : 10.1007/BFb0052164
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.9894

]. R. Montague74 and . Montague, ? Formal Philosophy: Selected Papers of Richard Montague, 1974.

]. C. Retore90 and . Retoré, ? A note on turbo cut elimination, 1990.

]. C. Retore93 and . Retoré, ? Réseaux et séquents ordonnés, 1993.

L. Unité-de-recherche-inria-lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès

I. Unité-de-recherche and . Rennes, IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399