# Paolo Tranquilli

According to our database

Collaborative distances:

^{1}, Paolo Tranquilli authored at least 10 papers between 2008 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

The conservation theorem for differential nets.

Mathematical Structures in Computer Science, 2017

2013

Indexed Labels for Loop Iteration Dependent Costs.

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

Certified Complexity (CerCo).

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

2012

Strong normalization of ML

^{F}via a calculus of coercions.
Theor. Comput. Sci., 2012

Standardization in resource lambda-calculus

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

2011

Intuitionistic differential nets and lambda-calculus.

Theor. Comput. Sci., 2011

2010

Harnessing ML

^{F}with the Power of System F.
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009

Confluence of Pure Differential Nets with Promotion.

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

Parallel Reduction in Resource Lambda-Calculus.

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

2008

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

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