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

Benoît Valiron | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Benoît Valiron

Publication year - 2011

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2011.01.011

Subject(s) - sketch , probabilistic logic , typed lambda calculus , lambda calculus , lambda , computation , semantics (computer science) , church encoding , system f , algebra over a field , mathematics , simply typed lambda calculus , linear logic , discrete mathematics , calculus (dental) , computer science , pure mathematics , algorithm , programming language , quantum mechanics , statistics , physics , medicine , dentistry

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research