Paolo Tranquilli

From MaRDI portal
Person:534706

Available identifiers

zbMath Open tranquilli.paoloMaRDI QIDQ534706

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49925212021-06-09Paper
https://portal.mardi4nfdi.de/entity/Q49867382021-04-27Paper
The conservation theorem for differential nets2017-09-28Paper
Certified Complexity (CerCo)2016-01-07Paper
Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions2012-03-13Paper
Intuitionistic differential nets and lambda-calculus2011-05-10Paper
Harnessing ML F with the Power of System F2010-09-03Paper
Confluence of Pure Differential Nets with Promotion2009-11-12Paper
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic2008-11-20Paper

Research outcomes over time

This page was built for person: Paolo Tranquilli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:534706&oldid=7196896"
Powered by MediaWiki