A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
From MaRDI portal
Publication:5056005
DOI10.1007/978-3-319-71237-6_22zbMath1503.68043arXiv1705.00097OpenAlexW3170869185MaRDI QIDQ5056005
Publication date: 9 December 2022
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1705.00097
Quantum computation (81P68) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (2)
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Classically time-controlled quantum automata
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model checking quantum Markov chains
- The vectorial \(\lambda\)-calculus
- Confluence in probabilistic rewriting
- Confluence Results for a Quantum Lambda Calculus with Measurements
- 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
- The algebraic lambda calculus
- A Lambda Calculus for Quantum Computation
- Towards a quantum programming language
- Typing Quantum Superpositions and Measurement
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- One-dimensional quantum walks
- Quantum walks on graphs
- Invariants of quantum programs: characterisations and generation
- Applying quantitative semantics to higher-order quantum computing
- Bisimulation for quantum processes
- Quantum weakest preconditions
- A lambda calculus for quantum computation with classical control
This page was built for publication: A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls