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

DOI10.46298/lmcs-18(3:32)2022OpenAlexW3110898182MaRDI QIDQ5043591

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

quantum computinglambda calculuscategorical semantics

Mathematics Subject Classification ID

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

Uses Software

• Quipper
• QPL

Cites Work

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

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