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

DOI10.46298/LMCS-18(3:32)2022OpenAlexW3110898182MaRDI QIDQ5043591FDOQ5043591

Authors: Alejandro Díaz-Caro, Octavio Malherbe 

Publication date: 6 October 2022

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

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)

Cites Work

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

Cited In (2)

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

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)