Paolo Tranquilli

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


2012
Strong normalization of MLF 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 MLF 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


  Loading...