15 citations · 41 across the 17 of their papers we have counts for
13 papers · 1 filter
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…
Compositional theories for host-core languages
Davide Trotta, Margherita Zorzi
Linear type theories, of various types and kinds, are of fundamental importance in most programming language research nowadays. In this paper we describe an extension of Benton's L…
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
Simone Martini, Andrea Masini, Margherita Zorzi
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are present…
QPCF: higher order languages and quantum circuits
Luca Paolini, Mauro Piccolo, Margherita Zorzi
qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be…
Quantum Programming Made Easy
Luca Paolini, Luca Roversi, Margherita Zorzi
We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming wit…
Wave-Style Token Machines and Quantum Lambda Calculi
Ugo Dal Lago, Margherita Zorzi
Particle-style token machines are a way to interpret proofs and programs, when the latter are written following the principles of linear logic. In this paper, we show that token ma…