Investigations into logical deductions The Collected Papers of Gerhard Gentzen, North-Holland, pp.68-131, 1969. ,
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
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
On the unity of logic, Annals of Pure and Applied Logic, vol.59, issue.3, pp.201-217, 1993. ,
DOI : 10.1016/0168-0072(93)90093-S
URL : https://hal.archives-ouvertes.fr/inria-00075095
A Unified Sequent Calculus for Focused Proofs, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.355-364, 2009. ,
DOI : 10.1109/LICS.2009.47
Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.125-157, 1991. ,
DOI : 10.1016/0168-0072(91)90068-W
Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes, 1995. ,
LJQ: A Strongly Focused Calculus for Intuitionistic Logic, Computability in Europe 2006, pp.173-185, 2006. ,
DOI : 10.1090/trans2/094/02
URL : https://hal.archives-ouvertes.fr/hal-00150287
Abstract, The Journal of Symbolic Logic, vol.II, issue.03, pp.755-807, 1997. ,
DOI : 10.1007/BF00885763
URL : https://hal.archives-ouvertes.fr/inria-00528352
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic, FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, pp.517-528, 2005. ,
DOI : 10.1007/11590156_42
Polarized and focalized linear and classical proofs, Annals of Pure and Applied Logic, vol.134, issue.2-3, pp.217-264, 2005. ,
DOI : 10.1016/j.apal.2004.11.002
URL : https://hal.archives-ouvertes.fr/hal-00009133
Focusing and Polarization in Intuitionistic Logic, CSL 2007, pp.451-465, 2007. ,
DOI : 10.1007/978-3-540-74915-8_34
URL : https://hal.archives-ouvertes.fr/inria-00167231
Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009. ,
DOI : 10.1016/j.tcs.2009.07.041
A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991. ,
DOI : 10.1016/0304-3975(87)90045-4
Etude de la polarisation en logique, Thèse de doctorat, 2002. ,
URL : https://hal.archives-ouvertes.fr/tel-00007884
The focused inverse method for linear logic, 2006. ,
Incorporating Tables into Proofs, CSL 2007, pp.466-480, 2007. ,
DOI : 10.1007/978-3-540-74915-8_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.3026
Canonical sequent proofs via multifocusing, Fifth International Conference on Theoretical Computer Science, pp.383-396, 2008. ,
DOI : 10.1007/978-0-387-09680-3_26
URL : https://hal.archives-ouvertes.fr/hal-00527893
A linear approach to the proof-theory of least and greatest fixed points, 2008. ,
Least and greatest fixed points in linear logic, International Conference on Logic for Programming and Automated Reasoning (LPAR), pp.92-106, 2007. ,