-. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

. Avron, The method of hypersequents in the proof theory of propositional non-classical logics, Logic: from foundations to applications: European logic colloquium, pp.1-32, 1996.

D. Baelde and . Miller, Least and greatest fixed points in linear logic, LPAR, pp.92-106, 2007.
DOI : 10.1145/2071368.2071370
URL : http://arxiv.org/abs/0910.3383

D. Belnap and J. , Display logic, Journal of Philosophical Logic, vol.11, issue.4, pp.375-417, 1982.
DOI : 10.1007/BF00284976

A. F. Brünnler and . Tiu, A Local System for Classical Logic, LPAR, pp.347-361, 2001.
DOI : 10.1007/3-540-45653-8_24

A. Bruscoli and . Guglielmi, On the proof complexity of deep inference, ACM Transactions on Computational Logic, vol.10, issue.2, 2009.
DOI : 10.1145/1462179.1462186
URL : https://hal.archives-ouvertes.fr/inria-00441211

. Chaudhuri, Focusing Strategies in the Sequent Calculus of Synthetic Connectives, LPAR, pp.467-481, 2008.
DOI : 10.1007/978-3-540-89439-1_33

. Guenot, Focused proof search for linear logic in the calculus of structures, ICLP, volume 7 of LIPIcs Schloss Dagstuhl ? Leibniz-Zentrum für Informatik, pp.84-93, 2010.

. Guglielmi, A system of interaction and structure, ACM Transactions on Computational Logic, vol.8, issue.1, 2007.
DOI : 10.1145/1182613.1182614
URL : https://hal.archives-ouvertes.fr/inria-00441254

L. Guglielmi and . Straßburger, Non-commutativity and MELL in the Calculus of Structures, CSL, pp.54-68, 2001.
DOI : 10.1007/3-540-44802-0_5

. Laurent, Étude de la Polarisation en Logique, 2002.

. Laurent, A proof of the focalization property of linear logic. Unpublished note, 2004.

D. Liang and . Miller, Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4104747-4768, 2009.
DOI : 10.1016/j.tcs.2009.07.041

A. Miller and . Saurin, From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic, CSL, pp.405-419, 2007.
DOI : 10.1007/978-3-540-74915-8_31
URL : https://hal.archives-ouvertes.fr/hal-00527888

O. Hearn and D. Pym, Abstract, Bulletin of Symbolic Logic, vol.two, issue.02, pp.215-244, 1999.
DOI : 10.1016/0304-3975(93)90181-R

. Straßburger, A local system for linear logic, LPAR, pp.388-402, 2002.

. Straßburger, Linear Logic and Noncommutativity in the Calculus of Structures, 2003.

. Straßburger, MELL in the calculus of structures, Theoretical Computer Science, vol.309, issue.1-3, pp.213-285, 2003.
DOI : 10.1016/S0304-3975(03)00240-8

A. Straßburger and . Guglielmi, A system of interaction and structure IV: The exponentials and decomposition, 2009.