Combining quantum and classical control: syntax, semantics and adequacy

DOI10.1007/978-3-031-90897-2_8MaRDI QIDQ6889891zbMATH OpenFDO

Authors Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev

Publication date 4 December 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-90897-2_8

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A lambda calculus for quantum computation with classical control
• Applying quantitative semantics to higher-order quantum computing
• Exponential algorithmic speedup by a quantum walk
• From symmetric pattern-matching to quantum control
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• scientific article; zbMATH DE number 5708038 (Why is no real title available?)
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• Quantum programming with inductive datatypes: causality and affine type theory
• QWIRE: a core language for quantum circuits
• Realizability in the unitary sphere
• Semantics for a quantum programming language by operator algebras
• Semantics of quantum programming languages: Classical control, quantum control
• Towards a quantum programming language

This page was built for publication: Combining quantum and classical control: syntax, semantics and adequacy

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