Paolo Tranquilli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Indexed labels for loop iteration dependent costs	2021-06-09	Paper
Indexed labels for loop iteration dependent costs (available as arXiv preprint)	2021-06-09	Paper
Standardization in resource \(\lambda\)-calculus	2021-04-27	Paper
Standardization in resource \(\lambda\)-calculus (available as arXiv preprint)	2021-04-27	Paper
The conservation theorem for differential nets Mathematical Structures in Computer Science	2017-09-28	Paper
Certified complexity (CerCo) Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions Theoretical Computer Science	2012-03-13	Paper
Intuitionistic differential nets and lambda-calculus Theoretical Computer Science	2011-05-10	Paper
Harnessing \(\mathrm{ML}^{\mathrm F}\) with the power of system F Mathematical Foundations of Computer Science 2010	2010-09-03	Paper
Confluence of Pure Differential Nets with Promotion Computer Science Logic	2009-11-12	Paper
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic Computer Science Logic	2008-11-20	Paper

Research outcomes over time

This page was built for person: Paolo Tranquilli