Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
From MaRDI portal
Publication:5043591
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
Uses Software
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