Quantum Programs as Kleisli Maps

@inproceedings{Westerbaan2016QuantumPA,
  title={Quantum Programs as Kleisli Maps},
  author={A. Westerbaan},
  booktitle={QPL},
  year={2016}
}
  • A. Westerbaan
  • Published in QPL 2016
  • Mathematics, Computer Science
  • QPL 2016: Proceedings 13th International Conference on Quantum Physics and Logic Glasgow, Scotland, 6-10 June 2016 
    13 Citations

    Topics from this paper.

    Von Neumann Algebras form a Model for the Quantum Lambda Calculus
    • 9
    • PDF
    Composite systems and state transformations in topos quantum theory
    The Category of von Neumann Algebras
    • 11
    • PDF
    Quantum Programming with Inductive Datatypes
    • Romain Péchouxa, Simon Perdrixa, Mathys Rennelab, Vladimir Zamdzhieva
    • 2020
    Neumann Algebras
    • 1
    Duplicable von Neumann Algebras.
    Quantum sets
    • 4
    • PDF
    From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
    • 32
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 15 REFERENCES
    Von Neumann Algebras form a Model for the Quantum Lambda Calculus
    • 9
    • PDF
    A 2-Categories Companion
    • 142
    • PDF
    From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
    • 32
    • PDF
    The joy of sets : fundamentals of contemporary set theory
    • 92
    • PDF
    Categories for the Working Mathematician
    • 5,579
    • Highly Influential
    • PDF
    A note on unitary operators in C-algebras
    • Duke Mathematical Journal
    • 1966
    A note on unitary operators in C∗-algebras
    • Duke Mathematical Journal
    • 1966