Typing Quantum Superpositions and Measurement

DOI10.1007/978-3-319-71069-3_22OpenAlexW2763701400MaRDI QIDQ5055990

Gilles Dowek, Alejandro Díaz-Caro

Publication date: 9 December 2022

Published in: Theory and Practice of Natural Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-71069-3_22

zbMATH Keywords

linear logicquantum computingmeasurementlambda-calculusalgebraic linearity

Mathematics Subject Classification ID

Quantum computation (81P68) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ A concrete model for a typed linear algebraic lambda calculus ⋮ The vectorial \(\lambda\)-calculus ⋮ A categorical construction for the computational definition of vector spaces ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\)

Uses Software

• Quipper

Cites Work

• Unnamed Item
• Unnamed Item
• The vectorial \(\lambda\)-calculus
• Linear logic
• Computational interpretations of linear logic
• An Introduction to Quantum Programming in Quipper
• A System F accounting for scalars
• Linearity in the Non-deterministic Call-by-Value Setting
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
• On quantum lambda calculi: a foundational perspective
• Complete Sets of Reductions for Some Equational Theories
• Applying quantitative semantics to higher-order quantum computing

This page was built for publication: Typing Quantum Superpositions and Measurement