References

  1. Jean-Marc Andreoli (1992): Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), pp. 297–347, doi:10.1093/logcom/2.3.297.
  2. Taus Brock-Nannestad & Carsten Schürmann (2010): Focused Natural Deduction. In: C. Fermüller & A. Voronkov: LPAR-17, LNCS 6397, pp. 157–171, doi:10.1007/978-3-642-16242-8_12.
  3. Kaustuv Chaudhuri (2008): Focusing Strategies in the Sequent Calculus of Synthetic Connectives. In: I. Cervesato, H. Veith & A. Voronkov: LPAR'08, LNCS 5330, pp. 467–481, doi:10.1007/978-3-540-89439-1_33.
  4. Kaustuv Chaudhuri, Nicolas Guenot & Lutz Straßburger (2011): The Focused Calculus of Structures. In: M. Bezem: CSL'11, LIPIcs 12, pp. 159–173, doi:10.4230/LIPIcs.CSL.2011.159.
  5. Kaustuv Chaudhuri, Dale Miller & Alexis Saurin (2008): Canonical Sequent Proofs via Multi-Focusing. In: G. Ausiello, J. Karhumäki, G. Mauri & L. Ong: Fifth IFIP International Conference on Theoretical Computer Science 273, pp. 383–396, doi:10.1007/978-0-387-09680-3_26.
  6. Jean-Yves Girard (1987): Linear Logic. Theoretical Computer Science 50, pp. 1–102, doi:10.1016/0304-3975(87)90045-4.
  7. Jean-Yves Girard (1996): Proof-nets : the parallel syntax for proof-theory. In: A. Ursini & P. Agliano: Logic and Algebra. M. Dekker, New York.
  8. Stefano Guerrini, Simone Martini & Andrea Masini (2001): Proof nets, Garbage, and Computations. Theoretical Computer Science 253(2), pp. 185–237, doi:10.1016/S0304-3975(00)00094-3.
  9. Olivier Laurent (2002): Etude de la polarisation en logique. Thèse de doctorat. Université Aix-Marseille II.
  10. Dale Miller & Alexis Saurin (2007): From proofs to focused proofs : a modular proof of focalization in Linear Logic. In: J. Duparc & T. A. Henzinger: CSL'07, LNCS 4646, pp. 405–419, doi:10.1007/978-3-540-74915-8_31.
  11. Alexis Saurin (2008): Une étude logique du contrôle. Thèse de doctorat. École Polytechnique.
  12. Robert J. Simmons (2014): Structural Focalization. ACM Trans. Comput. Log. 15(3), pp. 21, doi:10.1145/2629678.
  13. Noam Zeilberger (2008): On the unity of duality. Annals of Pure and Applied Logic 153(1-3), pp. 66–96, doi:10.1016/j.apal.2008.01.001.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org