scientific article; zbMATH DE number 7439431
From MaRDI portal
Publication:5015214
zbMath1477.68069arXiv1502.04774MaRDI QIDQ5015214
Margherita Zorzi, Ugo Dal Lago
Publication date: 6 December 2021
Full work available at URL: https://arxiv.org/abs/1502.04774
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Semantics of higher-order quantum computation via geometry of interaction ⋮ Unnamed Item ⋮ A logic for quantum register measurements ⋮ QPCF: higher-order languages and quantum circuits
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantum implicit computational complexity
- Game Semantics for Quantum Data
- Confluence Results for a Quantum Lambda Calculus with Measurements
- On a Fully Abstract Model for a Quantum Linear Functional Language
- Quantum State Transformations and Branching Distributed Temporal Logic
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- On a measurement-free quantum lambda calculus with classical control
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Quantum Complexity Theory
- A Lambda Calculus for Quantum Computation
- Measurements in Proof Nets as Higher-Order Quantum Circuits
- A Logical Basis for Quantum Evolution and Entanglement
- Game Semantics for Quantum Stores
- A lambda calculus for quantum computation with classical control
This page was built for publication:
