Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

DOI10.46298/LMCS-18(3:32)2022MaRDI QIDQ5043591zbMATH OpenOpenAlexFDO

Authors Alejandro Díaz-Caro, Octavio Malherbe

Publication date 6 October 2022

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2012.05887

zbMATH Keywords

categorical semanticsquantum computinglambda calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Realizability in the unitary sphere
• On a measurement-free quantum lambda calculus with classical control
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• The dagger lambda calculus

Cites work

• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• scientific article; zbMATH DE number 5851813 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• A Survey of Classical Realizability
• A categorical construction for the computational definition of vector spaces
• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• A lambda calculus for quantum computation with classical control
• An introduction to quantum programming in Quipper
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \(\lambda \)-calculus
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• On the interpretation of intuitionistic number theory
• QWIRE: a core language for quantum circuits
• Quantum computation and quantum information. 10th anniversary edition
• Realizability. An introduction to its categorical side
• Towards a quantum programming language
• Typing Quantum Superpositions and Measurement

Cited in

(3)

• Realizability in the unitary sphere
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• Classical control and quantum circuits in enriched category theory

Describes a project that uses

Uses Software

• Quipper
• QPL

This page was built for publication: Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5043591)