scientific article; zbMATH DE number 7439431

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.

Mathematics Subject Classification ID

Quantum computation (81P68) Functional programming and lambda calculus (68N18)

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: