A double effect -calculus for quantum computation

DOI10.1007/978-3-642-40922-6_5MaRDI QIDQ5410470zbMATH OpenOpenAlexFDO

Authors Bruno Crestani Calegaro, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta

Publication date 16 April 2014

Published in Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40922-6_5

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Quantum computation (81P68)

Recommendations

• The Arrow Calculus as a Quantum Programming Language
• A Lambda Calculus for Quantum Computation
• On a measurement-free quantum lambda calculus with classical control
• A lambda calculus for quantum computation with classical control
• On quantum lambda calculi: a foundational perspective

Cited in

(11)

• Formal meta-level analysis framework for quantum programming languages
• Confluence results for a quantum lambda calculus with measurements
• Towards a quantum calculus (work in progress, extended abstract)
• Quantum arrows in Haskell
• On a measurement-free quantum lambda calculus with classical control
• The Arrow Calculus as a Quantum Programming Language
• The dagger lambda calculus
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• FJQuantum. A quantum object oriented language
• scientific article; zbMATH DE number 6774228 (Why is no real title available?)
• Structuring quantum effects: superoperators as arrows

This page was built for publication: A double effect \(\lambda \)-calculus for quantum computation

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