- ( Giulio Manzonetto) Strong Normalization of MLF via a Calculus of Coercions (2011).
- ( Michele Pagani) The Conservation Theorem for Differential Nets (12/2009).
- Intuitionistic Differential Nets and Lambda-Calculus (2011).
- ( Giulio Manzonetto) Harnessing MLF with the Power of System F (2010).
- ( Michele Pagani) Parallel Reduction in Resource Lambda-Calculus (2009).
- Confluence of Pure Differential Nets with Promotion (2009).
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (2008).
- Indexed Labels for Loop Iteration Dependent Costs (07/2012) [ 23/01/2013].
- Termination of Threads with Shared Memory via Infinitary Choice (02/2011).
- Translating Types and Effects with State Monads and Linear Logic (01/2010).
- Nets Between Determinism and Nondeterminism (22/02/2009) (changelog) [ 21/04/2009].
- 23/04/2009.
- Indexed Labels for Loop Iteration Dependent Costs (23/03/2013).
- A calculus of coercions proving the strong normalization of MLF (14/07/2010).
- Types and effects seen through linear logic (10/06/2010).
- References, multithreading and differential nets (22/04/2010).
- Types and Effects: from Monads to Differential Nets, Part II (01/03/2010).
- Differential Nets (23/02/2010).
- Types and Effects: from Monads to Differential Nets, Part I (01/02/2010).
- Parallel Reduction in Resource Lambda-Calculus (15/12/2009).
- Differential Nets with Promotion: introduction and current results (23/10/2009).
- Confluence of Pure Differential Nets with Promotion (10/09/2009).
- Resource Calculus (22/05/2009).
- Confluence and normalization of differential nets with boxes (12/03/2009).
- A Characterization of Hypercoherent Semantic Correctness in MALL (17/09/2008).
- Differential Nets: a Paradigm of Non-Determinism? (01/04/2008).
- From Linear Logic to Differential Linear Logic (20/02/2008).
- Denoting computation, a jog from Scott Domains to Hypercoherence Spaces (13/12/2006).
- The Typing Problem for Light Logics with Second Order (2005).
- SN per MELL2 (2005).