1 citations · 1 across the 1 of their papers we have counts for
4 papers
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
Simone Martini, Andrea Masini, Margherita Zorzi
We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal syst…
Towards A Theory Of Quantum Computability
Stefano Guerrini, Simone Martini, Andrea Masini
We propose a definition of quantum computable functions as mappings between superpositions of natural numbers to probability distributions of natural numbers. Each function is obta…
An Invariant Cost Model for the Lambda Calculus
Ugo Dal Lago, Simone Martini
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value lam…
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
Paolo Coppola, Simone Martini
We present a type inference algorithm for lambda-terms in Elementary Affine Logic using linear constraints. We prove that the algorithm is correct and complete.