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
On quantum lambda calculi: a foundational perspective
M Zorzi
Mathematical Structures in Computer Science 26 (7), 1107-1195, 2016
Quantum implicit computational complexity
U Dal Lago, A Masini, M Zorzi
Theoretical Computer Science 411 (2), 377-409, 2010
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
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
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 Viganò, 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
Quantum state transformations and branching distributed temporal logic
L Vigano, M Volpe, M Zorzi
Logic, Language, Information, and Computation: 21st International Workshop …, 2014
Wave-style token machines and quantum lambda calculi
UD Lago, M Zorzi
arXiv preprint arXiv:1502.04774, 2015
Non-determinism, non-termination and the strong normalization of system T
F Aschieri, M Zorzi
Typed Lambda Calculi and Applications: 11th International Conference, TLCA …, 2013
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
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
Theory and Applications of Models of Computation: 14th Annual Conference …, 2017
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results
M Zorzi, C Combi, G Pozzani, E Arzenton, U Moretti
Artificial Intelligence in Medicine: 16th Conference on Artificial …, 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
QPCF: higher-order languages and quantum circuits
L Paolini, M Piccolo, M Zorzi
Journal of Automated Reasoning 63, 941-966, 2019
Quantum programming made easy
L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 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: 6th …, 2016
General ramified recurrence is sound for polynomial time
U Dal Lago, S Martini, M Zorzi
DICE, 47-62, 2010
The system can't perform the operation now. Try again later.
Articles 1–20