2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2008★ 2 cited
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…
cs.LO2007
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…