Quantum Domain Theory - Definitions and Applications

2003/06/11 by Elham Kashefi, Kashefi, Elham · 1 citation
Computer Science · Physics and Astronomy · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #cs.PL #quant-ph

paper · pdf · doi:10.48550/arxiv.quant-ph/0306077

arxiv created 2003/06/11 · openalex publication_date 2003/06/11 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• Measurability and Computability
• Strengths and Weaknesses of Quantum Computing
• Semantics of probabilistic programs
• Quantum Complexity Theory

Cited by

• A Lambda Calculus for Quantum Computation

Related

• A Quantum Canonical Embedding
• Quantum Bounded Symmetric Domains
• Models of Quantum Algorithms in Sets and Relations
• Analysis of Quantum Functions
• The Quantum Monadology