Margherita Zorzi

Available identifiers

zbMath Open zorzi.margheritaWikidataQ62068178 ScholiaQ62068178MaRDI QIDQ265001

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5018491	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5015214	2021-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4986733	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
$$\mathsf {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
https://portal.mardi4nfdi.de/entity/Q5389322	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Margherita Zorzi