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
The Focused Inverse Method for Linear Logic, 2006. ,
A logical characterization of forward and backward chaining in the inverse method, Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), pp.97-111, 2006. ,
The duality of computation, ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pp.233-243, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00156377
LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication, Workshop on Linear Logic, pp.211-224, 1995. ,
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
LJQ: A Strongly Focused Calculus for Intuitionistic Logic, Europe 2006, pp.173-185, 2006. ,
DOI : 10.1090/trans2/094/02
URL : https://hal.archives-ouvertes.fr/hal-00150287
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
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
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
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. ,
Proof Search Issues in Some Non-Classical Logics, 1998. ,
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic, Proceedings of FSTTCS, 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
Jumbo lambda-calculus, ICALP06: 33rd International Colloquium on Automata, Languages and Programming, 2006. ,
On focusing and polarities in linear logic and intuitionistic logic, 2006. ,
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
URL : http://doi.org/10.1016/0168-0072(91)90068-w
Automated theorem proving. Lecture notes, 2004. ,