Riviste
- (con Giulio Manzonetto) Strong Normalization of MLF via a Calculus of Coercions (2011), TCS, doi:10.1016/j.tcs.2011.05.051 (versione lunga di MFCS10).
- (con Michele Pagani) The Conservation Theorem for Differential Nets (12/2009), accettato a MSCS.
- Intuitionistic Differential Nets and Lambda-Calculus (2011), TCS, doi:10.1016/j.tcs.2010.12.022.
Conferenze
- (con Giulio Manzonetto) Harnessing MLF with the Power of System F (2010), MFCS 2010: 525-536.
- (con Michele Pagani) Parallel Reduction in Resource Lambda-Calculus (2009), APLAS 2009: pagine 226-242.
- Confluence of Pure Differential Nets with Promotion (2009), CSL 2009: 500-514, pubblicazione originale disponibile su www.springerlink.com.
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (2008), CSL 2008: 246-261, pubblicazione originale disponibile su www.springerlink.com.
Workshops
- (con Giulio Manzonetto) A Calculus of Coercions Proving the Strong Normalization of MLF (2010), workshop HOR (Higher Order Rewriting).
Preprint
- Indexed Labels for Loop Iteration Dependent Costs (07/2012) [aggiornato 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).
Tesi
- Nets Between Determinism and Nondeterminism (22/02/2009), v1.50 (changelog) [aggiornato 21/04/2009].
- 23/04/2009, presentazione per la discusssione.
Presentazioni
- Indexed Labels for Loop Iteration Dependent Costs (23/03/2013), presentazione ai workshops QAPL/CerCo, ETAPS 2013, Roma.
- A calculus of coercions proving the strong normalization of MLF (14/07/2010), presentazione al workshop HOR, Edimburgo, UK.
- Types and effects seen through linear logic (10/06/2010), presentazione all'incontro dei progetti PICS e CONCERTO, Torino.
- References, multithreading and differential nets (22/04/2010), presentazione all'interno del progetto Choco, Lione, Francia (versione alternativa della presentazione del 01/03).
- Types and Effects: from Monads to Differential Nets, Part II (01/03/2010), seminario per il gruppo LCR, LIPN, Paris 13.
- Differential Nets (23/02/2010), tutorial al workshop Geometric and Logic Approaches to Computation, Nancy.
- Types and Effects: from Monads to Differential Nets, Part I (01/02/2010), seminario per il gruppo LCR, LIPN, Paris 13.
- Parallel Reduction in Resource Lambda-Calculus (15/12/2009), presentazione ad APLAS.
- Differential Nets with Promotion: introduction and current results (23/10/2009), presentazione all'interno del progetto Complice, Lione, Francia.
- Confluence of Pure Differential Nets with Promotion (10/09/2009), presentazione a CSL 2009, Coimbra, Portogallo.
- Resource Calculus (22/05/2009), seminario per il gruppo di Formal Methods in Computing, Università di Torino.
- Confluence and normalization of differential nets with boxes (12/03/2009), presentazione all'interno del progetto Choco, Lione, Francia.
- A Characterization of Hypercoherent Semantic Correctness in MALL (17/09/2008), presentazione a CSL 2008, Bertinoro.
- Differential Nets: a Paradigm of Non-Determinism? (01/04/2008), presentazione all'Ecole Jeunes Chercheurs en Informatique Matematique (Aix-Marseille 2, versione alternativa della presentazione all'AILA).
- 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.
Note
- The Typing Problem for Light Logics with Second Order (2005), la mia tesi di laurea all'Università Roma Tre.
- SN per MELL2 (2005), normalizzazione forte dei proofnet MELL al secondo ordine.
