| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423209 | Electronic Notes in Theoretical Computer Science | 2011 | 8 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
