Publications

• A semantic measure of the execution time in Linear Logic, pdf, (with Daniel de Carvalho and Lorenzo Tortora de Falco) - 30 pages
  to appear in: Girard's Festschrift, special issue Theoretical Computer Science. 

• Strong normalization property for second order linear logic, pdf, (with Lorenzo Tortora de Falco) - 60 pages
  to appear in: Theoretical Computer Science.

• The separation property for differential interaction nets, pdf, (with Damiano Mazza) - 15 pages
  Logic for Programming Artificial Intelligence and Reasoning, Springer LNAI 4790:393-407, 2007.

• Proofs, Denotational Semantics and Observational Equivalences in Multiplicative Linear Logic, pdf - 21 pages
  Mathematical Structures in Computer Science, CUP vol.17(2): 341-361, 2007.

• Acyclicity and Coherence in Multiplicative and Exponential Linear Logic, ps, pdf - 15 pages + 13 pages appendix
  Computer Science Logic, Springer LNCS 4207:531-545, 2006.

• Proof nets and cliques: towards the understanding of analytical proofs, ps, pdf - 124 pages
  Ph.D. thesis, Università Roma Tre\Université Aix-Marseille II, defended on April 28, 2006.

Preprints

• Stream Associative Nets and Λμ-calculus, pdf, (with Alexis Saurin) - 51 pages
  preprint INRIA.

• Visible acyclic differential nets, pdf, - 49 pages
  Submitted.

• The Cut-Elimination Theorem for Differential Nets with Boxes, pdf - 15 pages
  Submitted.

• The Taylor Expansion Inverse problem in Linear Logic, pdf, (with Christine Tasson) - 10 pages
  Submitted.

Some slides

• The strong normalization property for second order linear logic, pdf, workshop "Type theory, proof theory, and rewriting", Paris, June 29th 2007.

• Tutorial on proof-nets, pdf, invited speaker at workshop "Linear Logic, Ludics, Implicit complexity, Operator Algebras: dedicated to J.-Y. Girard on his 60th birthday", Certosa di Pontignano, Siena, May 17th 2007.

• A non-uniform separation of proof-nets, ps, invited speaker at Mita Logic Seminar, Tokio, March 26th 2007.

• Acyclicity and coherence in multiplicative exponential linear logic, ps, invited speaker at the Equipe Preuves, Programmes & Systèmes, Paris, December 7th 2006.

• The injectivity of denotational semantics for linear logic proof-nets, ps, XXII Incontro di Logica Matematica (AILA), Pisa, February 10th 2005.

Back to my Home Page