A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. - Paolo Tranquilli (CSL, 2008)

Parallel Reduction in Resource Lambda-Calculus. - Michele Pagani; Paolo Tranquilli (APLAS, 2009)

Confluence of Pure Differential Nets with Promotion. - Paolo Tranquilli (CSL, 2009)

Harnessing MLF with the Power of System F. - Giulio Manzonetto; Paolo Tranquilli (MFCS, 2010)

Intuitionistic differential nets and lambda-calculus. - Paolo Tranquilli (Theor. Comput. Sci., 2011)

Standardization in resource lambda-calculus - Maurizio Dominici; Simona Ronchi Della Rocca; Paolo Tranquilli (LINEARITY, 2012)

Strong normalization of MLF via a calculus of coercions. - Giulio Manzonetto; Paolo Tranquilli (Theor. Comput. Sci., 2012)

Certified Complexity (CerCo). - Roberto M. Amadio; Nicholas Ayache; François Bobot; Jaap Boender; Brian Campbell 001; Ilias Garnier; Antoine Madet; James McKinna; Dominic P. Mulligan; Mauro Piccolo; Randy Pollack; Yann Régis-Gianas; et al. (FOPARA, 2013)

Indexed Labels for Loop Iteration Dependent Costs. - Paolo Tranquilli (QAPL, 2013)

The conservation theorem for differential nets. - Michele Pagani; Paolo Tranquilli (Math. Struct. Comput. Sci., 2017)