Margherita Zorzi

Available identifiers

zbMath Open zorzi.margheritaWikidataQ62068178 ScholiaQ62068178MaRDI QIDQ265001

List of research outcomes

Publication	Date of Publication	Type
A natural deduction calculus for \textbf{S4.2}	2024-08-19	Paper
Cut Elimination for Extended Sequent Calculi	2024-02-29	Paper
Natural deduction calculi for classical and intuitionistic S5	2023-08-16	Paper
From 2-sequents and linear nested sequents to natural deduction for normal modal logics	2022-02-24	Paper
Quantum programming made easy	2021-12-20	Paper
Wave-style token machines and quantum lambda calculi	2021-12-06	Paper
Interactive realizability and the elimination of Skolem functions in Peano arithmetic	2021-04-27	Paper
A logic for quantum register measurements	2020-03-20	Paper
QPCF: higher-order languages and quantum circuits	2019-10-25	Paper
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations	2017-09-04	Paper
\textsc{qPCF}: a language for quantum circuit computations	2017-05-19	Paper
On quantum lambda calculi: a foundational perspective	2017-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q2968408	2017-03-13	Paper
Confluence results for a quantum lambda calculus with measurements	2016-10-07	Paper
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem	2016-04-01	Paper
Quantum State Transformations and Branching Distributed Temporal Logic	2015-01-13	Paper
Non-determinism, non-termination and the strong normalization of System T	2013-06-28	Paper
Probabilistic operational semantics for the lambda calculus	2012-08-27	Paper
Modal deduction systems for quantum state transformations	2012-04-26	Paper
Quantum implicit computational complexity	2009-12-15	Paper
On a measurement-free quantum lambda calculus with classical control	2009-05-06	Paper

Research outcomes over time

This page was built for person: Margherita Zorzi