2 citations · 2 across the 3 of their papers we have counts for
3 papers · 1 filter
A History of Until
Andrea Masini, Luca Viganò, Marco Volpe
Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w o…
A Qualitative Modal Representation of Quantum Register Transformations
Andrea Masini, Luca Viganò, Margherita Zorzi
We introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum regi…
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
We study an untyped lambda calculus with quantum data and classical control. This work stems from previous proposals by Selinger and Valiron and by Van Tonder. We focus on syntax a…