- (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.