17 citations
- University of CalabriaIT2 papers
- Ben-Gurion University of the NegevIL1 paper
- Ca' Foscari University of VeniceIT1 paper
- Czech Academy of Sciences, Astronomical InstituteCZ1 paper
- Imperial College LondonGB1 paper
- Parthenope University of NaplesIT1 paper
- Sapienza University of RomeIT1 paper
- Technical University of MunichDE1 paper
- University of BolognaIT1 paper
- University of GlasgowGB1 paper
- University of PaduaIT1 paper
- University of PaviaIT1 paper
4 papers · 1 filter
Confluence Results for a Quantum Lambda Calculus with Measurements
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. Th…
Labeled Natural Deduction Systems for a Family of Tense Logics
Luca Viganò, Marco Volpe
We give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to t…
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…
Incompleteness of States w.r.t. Traces in Model Checking
Roberto Giacobazzi, Francesco Ranzato
Cousot and Cousot introduced and studied a general past/future-time specification language, called mu*-calculus, featuring a natural time-symmetric trace-based semantics. The stand…