The following pages link to Margherita Zorzi (Q265001):
Displaying 11 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)
