scientific article

zbMath1344.68052MaRDI QIDQ3560839

Peter Selinger, Benoît Valiron

Publication date: 14 May 2010

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

On block structures in quantum computation, Typing Quantum Superpositions and Measurement, A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls, Semantics of higher-order quantum computation via geometry of interaction, Semantics for a quantum programming language by operator algebras, Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target, A Categorical Model for a Quantum Circuit Description Language (Extended Abstract), Linearity and uniqueness: an entente cordiale, Unnamed Item, Unnamed Item, Quantum computation: from a programmer's perspective, $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations, Presheaf Models of Quantum Computation: An Outline, Distributed Strategies Made Easy, Processes against tests: on defining contextual equivalences, QPCF: higher-order languages and quantum circuits