A hierarchy of quantum semantics
From MaRDI portal
Publication:2864503
DOI10.1016/J.ENTCS.2008.10.028zbMATH Open1277.68126OpenAlexW2156610390MaRDI QIDQ2864503FDOQ2864503
Authors: Simon Perdrix 
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.028
Recommendations
Cites Work
- Title not available (Why is that?)
- Completely positive linear maps on complex matrices
- Dagger compact closed categories and completely positive maps (extended abstract)
- Title not available (Why is that?)
- Towards a quantum programming language
- Quantum measurements without sums
- Quantum programming languages: survey and bibliography
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- A partial order on classical and quantum states
- Classically-controlled quantum computation
- Functional and Logic Programming
- Quantum Entanglement Analysis Based on Abstract Interpretation
Cited In (8)
- Towards a quantum calculus (work in progress, extended abstract)
- Title not available (Why is that?)
- Compositional and holistic quantum computational semantics
- Formal semantics of a classical-quantum language
- GRADATIONAL ACCURACY AND NONCLASSICAL SEMANTICS
- Quantum aspects of semantic analysis and symbolic artificial intelligence
- Analysis of quantum entanglement in quantum programs using stabilizer formalism
- Quantum programs with classical output streams (extended abstract)
Uses Software
This page was built for publication: A hierarchy of quantum semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864503)
