A Hierarchy of Quantum Semantics

DOI10.1016/j.entcs.2008.10.028zbMath1277.68126OpenAlexW2156610390MaRDI QIDQ2864503

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

zbMATH Keywords

admissable transformationQILquantum programming semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Quantum coding (general) (81P70)

Related Items (1)

Unnamed Item

Uses Software

• QPL
• QML

Cites Work

• Completely positive linear maps on complex matrices
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Dagger Compact Closed Categories and Completely Positive Maps
• A Partial Order on Classical and Quantum States
• Quantum Entanglement Analysis Based on Abstract Interpretation
• Towards a quantum programming language
• Functional and Logic Programming
• Quantum programming languages: survey and bibliography
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Hierarchy of Quantum Semantics