Quantum Domain Theory - Definitions and Applications
arXiv:quant-ph/0306077
Abstract
Classically domain theory is a rigourous mathematical structure to describe denotational semantics for programming languages and to study the computability of partial functions. Recently, the application of domain theory has also been extended to the quantum setting. In this note we review these results and we present some new thoughts in this field.
References in corpus (6)
- Strengths and Weaknesses of Quantum Computing
- Toward an architecture for quantum programming
- The one-way quantum computer -- a non-network model of quantum computation
- Computable functions, quantum measurements, and quantum dynamics
- Measurability and Computability
- Uniqueness of Entanglement Measure and Thermodynamics