Applying quantitative semantics to higher-order quantum computing

@inproceedings{Pagani2014ApplyingQS,
  title={Applying quantitative semantics to higher-order quantum computing},
  author={Michele Pagani and Peter Selinger and Beno{\^i}t Valiron},
  booktitle={POPL '14},
  year={2014}
}
  • Michele Pagani, Peter Selinger, Benoît Valiron
  • Published in POPL '14 2014
  • Computer Science, Physics, Mathematics
  • 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… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    Explore key concepts

    Links to highly relevant papers for key concepts in this paper:

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 62 CITATIONS

    Game semantics for quantum programming

    VIEW 20 EXCERPTS
    CITES BACKGROUND, RESULTS & METHODS
    HIGHLY INFLUENCED

    Semantics for a Quantum Programming Language by Operator Algebras

    • Kenta Cho
    • Computer Science
    • New Generation Computing
    • 2016
    VIEW 2 EXCERPTS
    CITES BACKGROUND

    Full Abstraction for theQuantum Lambda-Calculus

    VIEW 20 EXCERPTS
    CITES BACKGROUND, METHODS & RESULTS
    HIGHLY INFLUENCED

    Realizability in the Unitary Sphere

    VIEW 1 EXCERPT
    CITES METHODS

    FILTER CITATIONS BY YEAR

    2014
    2020

    CITATION STATISTICS

    • 6 Highly Influenced Citations

    • Averaged 11 Citations per year from 2018 through 2020

    References

    Publications referenced by this paper.
    SHOWING 1-2 OF 2 REFERENCES

    Semantics of Higher-Order Quantum Computation via Geometry of Interaction

    • I. Hasuo, Naohiko Hoshino
    • Mathematics, Computer Science
    • 2011 IEEE 26th Annual Symposium on Logic in Computer Science
    • 2011
    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Quantum computation and quantum information

    • Thierry Paul
    • Mathematics, Computer Science
    • Math. Struct. Comput. Sci.
    • 2007
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL