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

AbstractIn 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