Quantum Domain Theory - Definitions and Applications
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2003
- DOI:
- 10.48550/arXiv.quant-ph/0306077
- arXiv:
- arXiv:quant-ph/0306077
- Bibcode:
- 2003quant.ph..6077K
- Keywords:
-
- Quantum Physics;
- Programming Languages