Applying quantitative semantics to higher-order quantum computing
Logic in Computer Science
2013-11-12 v1 Programming Languages
Quantum Physics
Abstract
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotational semantics for a quantum lambda calculus with recursion and an infinite data type, using constructions from quantitative semantics of linear logic.
Cite
@article{arxiv.1311.2290,
title = {Applying quantitative semantics to higher-order quantum computing},
author = {Michele Pagani and Peter Selinger and Benoît Valiron},
journal= {arXiv preprint arXiv:1311.2290},
year = {2013}
}