Margherita Zorzi
Cited by
Cited by
Probabilistic Operational Semantics for the Lambda Calculus
M Dal Lago, Ugo, Zorzi
RAIRO - Theoretical Informatics and Applications, DOI 10.1051/ita/2012012 46á…, 2012
Quantum implicit computational complexity
U Dal Lago, A Masini, M Zorzi
Theoretical Computer Science 411 (2), 377-409, 2010
On quantum lambda calculi: a foundational perspective
M Zorzi
Mathematical Structures in Computer Science 26 (7), 1107-1195, 2016
On a measurement-free quantum lambda calculus with classical control
U Dal Lago, A Masini, M Zorzi
Mathematical Structures in Computer Science 19 (2), 297-335, 2009
On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem
F Aschieri, M Zorzi
Theoretical Computer Science 625, 125-146, 2016
Modal Deduction Systems for Quantum State Transformations.
A Masini, L Vigano, M Zorzi
J. Multiple Valued Log. Soft Comput. 17 (5-6), 475-519, 2011
Confluence results for a quantum lambda calculus with measurements
U Dal Lago, A Masini, M Zorzi
Electronic Notes in Theoretical Computer Science 270 (2), 251-261, 2011
Wave-style token machines and quantum lambda calculi
UD Lago, M Zorzi
arXiv preprint arXiv:1502.04774, 2015
Quantum state transformations and branching distributed temporal logic
L Vigano, M Volpe, M Zorzi
International Workshop on Logic, Language, Information, and Computation, 1-19, 2014
Non-determinism, non-termination and the strong normalization of system T
F Aschieri, M Zorzi
International Conference on Typed Lambda Calculi and Applications, 31-47, 2013
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions
C Combi, M Zorzi, G Pozzani, U Moretti, E Arzenton
Journal of biomedical informatics 84, 184-199, 2018
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
L Vigano, M Volpe, M Zorzi
Information and Computation 255, 311-333, 2017
A qualitative modal representation of quantum register transformations
A Masini, L Vigano, M Zorzi
38th International Symposium on Multiple Valued Logic (ismvl 2008), 131-137, 2008
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results
M Zorzi, C Combi, G Pozzani, E Arzenton, U Moretti
Conference on Artificial Intelligence in Medicine in Europe, 215-220, 2017
Automagically encoding adverse drug reactions in MedDRA
M Zorzi, C Combi, R Lora, M Pagliarini, U Moretti
2015 International Conference on Healthcare Informatics, 90-99, 2015
: A Language for Quantum Circuit Computations
L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computationá…, 2017
A “light” application of blended extreme apprenticeship in teaching programming to students of mathematics
U Solitro, M Zorzi, M Pasini, M Brondino
Methodologies and Intelligent Systems for Technology Enhanced Learning, 73-80, 2016
General ramified recurrence is sound for polynomial time
U Dal Lago, S Martini, M Zorzi
DICE, 47-62, 2010
QPCF: higher-order languages and quantum circuits
L Paolini, M Piccolo, M Zorzi
Journal of Automated Reasoning 63 (4), 941-966, 2019
Quantum programming made easy
L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 2017
The system can't perform the operation now. Try again later.
Articles 1–20