, Contraction-free sequent calculi for intuitionistic logic, The Journal of Symbolic Logic, vol.475, issue.03, pp.795-80710, 1992.
DOI : 10.1007/3-540-54487-9_58
, Uniform Proofs and Natural Deductions, Proceedings of CADE?12 Workshop on Proof Search in Type-Theoretic Languages, IN- RIA Lorraine ? CRIN, pp.717-740, 1994.
, A ??-calculus structure isomorphic to Gentzen-style sequent calculus structure, Proceedings of CSL'94, pp.61-7510, 1995.
DOI : 10.1007/BFb0022247
URL : https://hal.archives-ouvertes.fr/inria-00381525
, Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming, Lecture Notes in Computer Science, vol.3, issue.2,3, pp.111-127, 2010.
DOI : 10.1007/BF01762108
, Coalgebraic Derivations in Logic Programming, Schloss Dagstuhl -Leibniz-Zentrum für Informatik, pp.352-366, 2011.
, Coalgebraic Semantics for Derivations in Logic Programming, Lecture Notes in Computer Science, vol.6859, pp.268-282978, 2011.
DOI : 10.1007/978-3-642-22944-2_19
, 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
, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.125-15710, 1991.
DOI : 10.1016/0168-0072(91)90068-W
, A Proof Pearl with the Fan Theorem and Bar Induction -Walking through Infinite Trees with Mixed Induction and Coinduction, LNCS, vol.7078, pp.353-36810, 2011.
, Permutations in Coinductive Graph Representation, Coalgebraic Methods in Computer Science Lecture Notes in Computer Science, IFIP subseries 7399, pp.218-23710, 2012.
DOI : 10.1007/978-3-642-32784-1_12
, Reductive Logic and Proof-search: Proof Theory, Semantics, and Control. Oxford Logic Guides, 2004.
DOI : 10.1093/acprof:oso/9780198526339.001.0001