On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)

DOI10.1016/J.ENTCS.2011.01.011zbMath1347.68146OpenAlexW2061831754WikidataQ113318326 ScholiaQ113318326MaRDI QIDQ2825348

Benoît Valiron

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.01.011

zbMATH Keywords

quantum computationBell inequalitiesKripke semanticscompletely positive mapsprobabilistic computationmultinormlinear lambda-calculus

Mathematics Subject Classification ID

Quantum computation (81P68) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Semantics of quantum programming languages: Classical control, quantum control

Uses Software

• QPL

Cites Work

• On a Fully Abstract Model for a Quantum Linear Functional Language
• Towards a quantum programming language
• Probabilistic game semantics
• Unnamed Item

This page was built for publication: On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)