Paolo Tranquilli

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Automated Deduction

Manually Labeled

Predicate Calculus

Multi Label Classification

Top Venues

Math. Struct. Comput. Sci.

Publications

Michele Pagani, Paolo Tranquilli
The conservation theorem for differential nets. Math. Struct. Comput. Sci. 27 (6) (2017)
Paolo Tranquilli
Indexed Labels for Loop Iteration Dependent Costs. QAPL (2013)
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
Certified Complexity (CerCo). FOPARA (2013)
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli
Standardization in resource lambda-calculus LINEARITY (2012)
Giulio Manzonetto, Paolo Tranquilli
via a calculus of coercions. Theor. Comput. Sci. 417 (2012)
Paolo Tranquilli
Intuitionistic differential nets and lambda-calculus. Theor. Comput. Sci. 412 (20) (2011)
Giulio Manzonetto, Paolo Tranquilli
with the Power of System F. MFCS (2010)
Michele Pagani, Paolo Tranquilli
Parallel Reduction in Resource Lambda-Calculus. APLAS (2009)
Paolo Tranquilli
Confluence of Pure Differential Nets with Promotion. CSL (2009)
Paolo Tranquilli
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. CSL (2008)