On quantum and probabilistic linear lambda-calculi (extended abstract)

DOI10.1016/J.ENTCS.2011.01.011MaRDI QIDQ2825348zbMATH OpenOpenAlexWikidataFDO

Authors 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

Bell inequalitiescompletely positive mapsKripke semanticslinear lambda-calculusmultinormprobabilistic computationquantum computation

Mathematics Subject Classification ID

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

Recommendations

• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
• A Lambda Calculus for Quantum Computation
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Towards a quantum calculus (work in progress, extended abstract)

Cites work

• scientific article; zbMATH DE number 512784 (Why is no real title available?)
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Probabilistic game semantics
• Towards a quantum programming language

Cited in

(13)

• Quantum implicit computational complexity
• Semantics of quantum programming languages: Classical control, quantum control
• On a fully abstract model for a quantum linear functional language (extended abstract)
• On a measurement-free quantum lambda calculus with classical control
• Wave-style token machines and quantum lambda calculi
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• Fully abstract models of the probabilistic -calculus
• Mathematical Foundations of Computer Science 2004
• scientific article; zbMATH DE number 6774228 (Why is no real title available?)
• The geometry of parallelism: classical, probabilistic, and quantum effects
• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Realizability in the unitary sphere

Describes a project that uses

Uses Software

• QPL

This page was built for publication: On quantum and probabilistic linear lambda-calculi (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825348)