| |
| 2009 | ||
|---|---|---|
| 4 | EE | Ugo Dal Lago, Andrea Masini, Margherita Zorzi: On a measurement-free quantum lambda calculus with classical control. Mathematical Structures in Computer Science 19(2): 297-335 (2009) |
| 2008 | ||
| 3 | EE | Andrea Masini, Luca Viganò, Margherita Zorzi: A Qualitative Modal Representation of Quantum Register Transformations. ISMVL 2008: 131-137 |
| 2 | EE | Andrea Masini, Luca Viganò, Margherita Zorzi: A Qualitative Modal Representation of Quantum Register Transformations CoRR abs/0802.4057: (2008) |
| 2007 | ||
| 1 | EE | Ugo Dal Lago, Andrea Masini, Margherita Zorzi: Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power CoRR abs/cs/0703152: (2007) |
| 1 | Ugo Dal Lago | [1] [4] |
| 2 | Andrea Masini | [1] [2] [3] [4] |
| 3 | Luca Viganò | [2] [3] |