The following pages link to Margherita Zorzi (Q265001):
Displaying 19 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- A logic for quantum register measurements (Q2306145) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Confluence results for a quantum lambda calculus with measurements (Q2825377) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127) (← links)
- (Q2968408) (← links)
- On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
- (Q4986733) (← links)
- (Q5015214) (← links)
- (Q5018491) (← links)
- From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics (Q5034227) (← links)
- Non-determinism, Non-termination and the Strong Normalization of System T (Q5300892) (← links)
- (Q5389322) (← links)
- A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
