A Double Effect λ-calculus for Quantum Computation

DOI10.1007/978-3-642-40922-6_5zbMath1405.68124OpenAlexW174440812MaRDI QIDQ5410470

Bruno Crestani Calegaro, Eduardo Kessler Piveta, Juliana Kaizer Vizzotto

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

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

Related Items (2)

FJQuantum. A quantum object oriented language ⋮ Formal meta-level analysis framework for quantum programming languages

This page was built for publication: A Double Effect λ-calculus for Quantum Computation