Paolo Tranquilli

According to our database, Paolo Tranquilli authored at least 10 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

The conservation theorem for differential nets.

Michele Pagani, Paolo Tranquilli

Math. Struct. Comput. Sci., 2017

2013

Indexed Labels for Loop Iteration Dependent Costs.

Paolo Tranquilli

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Certified Complexity (CerCo).

Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Strong normalization of ML^F via a calculus of coercions.

Giulio Manzonetto, Paolo Tranquilli

Theor. Comput. Sci., 2012

Standardization in resource lambda-calculus

Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli

Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

2011

Intuitionistic differential nets and lambda-calculus.

Paolo Tranquilli

Theor. Comput. Sci., 2011

2010

Harnessing ML^F with the Power of System F.

Giulio Manzonetto, Paolo Tranquilli

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009

Confluence of Pure Differential Nets with Promotion.

Paolo Tranquilli

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

Parallel Reduction in Resource Lambda-Calculus.

Michele Pagani, Paolo Tranquilli

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.

Paolo Tranquilli

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008