Revues
- (avec Giulio Manzonetto) Strong Normalization of MLF via a Calculus of Coercions (2011), TCS, doi:10.1016/j.tcs.2011.05.051 (version longue de MFCS10).
- (avec Michele Pagani) The Conservation Theorem for Differential Nets (12/2009), à paraître dans MSCS.
- Intuitionistic Differential Nets and Lambda-Calculus (2011), TCS, doi:10.1016/j.tcs.2010.12.022.
Conférences
- (avec Giulio Manzonetto) Harnessing MLF with the Power of System F (2010), MFCS 2010: 525-536.
- (avec Michele Pagani) Parallel Reduction in Resource Lambda-Calculus (2009), APLAS 2009: pages 226-242.
- Confluence of Pure Differential Nets with Promotion (2009), CSL 2009: 500-514, publication originale disponible sur www.springerlink.com.
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (2008), CSL 2008: 246-261, publication originale disponible sur www.springerlink.com.
Workshops
- (avec Giulio Manzonetto) A Calculus of Coercions Proving the Strong Normalization of MLF (2010), workshop HOR (Higher Order Rewriting).
Manuscrits
- Indexed Labels for Loop Iteration Dependent Costs (07/2012) [mis á jour 23/01/2013].
- Termination of Threads with Shared Memory via Infinitary Choice (02/2011), hal-00573690.
- Translating Types and Effects with State Monads and Linear Logic (01/2010).
Thèse
- Nets Between Determinism and Nondeterminism (22/02/2009), v1.50 (changelog) [mis á jour 21/04/2009].
- 23/04/2009, transparents pour la soutenance.
Exposés
- Indexed Labels for Loop Iteration Dependent Costs (23/03/2013), exposé au workshops QAPL/CerCo, Rome, Italy.
- A calculus of coercions proving the strong normalization of MLF (14/07/2010), exposé au workshop HOR, Edimbourg, UK.
- Types and effects seen through linear logic (10/06/2010), exposé au rencontre des projets PICS et CONCERTO, Turin, Italie.
- References, multithreading and differential nets (22/04/2010), exposé au séminaire Choco, Lyon (version alternative de l'exsposé du 01/03).
- Types and Effects: from Monads to Differential Nets, Part II (01/03/2010), séminaire groupe LCR, LIPN, Paris 13.
- Differential Nets (23/02/2010), tutorial pour le workshop Geometric and Logic Approaches to Computation, Nancy.
- Types and Effects: from Monads to Differential Nets, Part I (01/02/2010), séminaire groupe LCR, LIPN, Paris 13.
- Parallel Reduction in Resource Lambda-Calculus (15/12/2009), exposé à la conférence APLAS.
- Differential Nets with Promotion: introduction and current results (23/10/2009), exposé au rencontre Complice, Lyon.
- Confluence of Pure Differential Nets with Promotion (10/09/2009), exposé à CSL 2009, Coimbra, Portugal.
- Resource Calculus (22/05/2009), exposé pour le groupe Formal Methods in Computing, Università di Torino.
- Confluence and normalization of differential nets with boxes (12/03/2009), exposé au séminaire Choco, Lyon.
- A Characterization of Hypercoherent Semantic Correctness in MALL (17/09/2008), exposé à CSL 2008, Bertinoro, Italy.
- Differential Nets: a Paradigm of Non-Determinism? (01/04/2008), Exposé pour l'Ecole Jeunes Chercheurs en Informatique Matematique (Aix-Marseille 2).
- From Linear Logic to Differential Linear Logic (20/02/2008), XXIII incontro AILA, Genova.
- Denoting computation, a jog from Scott Domains to Hypercoherence Spaces (13/12/2006), séminaires thésards, PPS-LIAFA.
Notes
- The Typing Problem for Light Logics with Second Order (2005), memoir de master, Università Roma Tre.
- SN per MELL2 (2005), normalisation forte pour les réseaux de preuve de MELL (italien).
