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

DOI10.1016/J.ENTCS.2011.01.011zbMATH Open1347.68146OpenAlexW2061831754WikidataQ113318326 ScholiaQ113318326MaRDI QIDQ2825348FDOQ2825348

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

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)

zbMATH Keywords

Bell inequalitiesquantum computationcompletely positive mapsKripke semanticsprobabilistic computationmultinormlinear lambda-calculus

Mathematics Subject Classification ID

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

Cites Work

• Towards a quantum programming language
• Title not available (Why is that?)
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Probabilistic game semantics

Cited In (12)

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

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)