A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)
2011
Electronical Notes in Theoretical Computer Science
In this paper we give a fully complete model for a linear probabilistic lambda-calculus. The model is a Kripke semantics based on the category of stochastic relations. We sketch how this relates to quantum computation.
doi:10.1016/j.entcs.2011.01.011
fatcat:iah3slvv7vbyzoawbw5tbfn3yi