 | 2009 |
|---|
| 5 |       | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
Confluence Results for a Quantum Lambda Calculus with Measurements
CoRR abs/0905.4567: (2009) |
| 4 | | 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 | | Andrea Masini,
Luca Viganò,
Margherita Zorzi:
A Qualitative Modal Representation of Quantum Register Transformations.
ISMVL 2008: 131-137 |
| 2 | | Andrea Masini,
Luca Viganò,
Margherita Zorzi:
A Qualitative Modal Representation of Quantum Register Transformations
CoRR abs/0802.4057: (2008) |
| 2007 |
|---|
| 1 | | Ugo Dal Lago,
Andrea Masini,
Margherita Zorzi:
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
CoRR abs/cs/0703152: (2007) |
