scientific article; zbMATH DE number 7364199

MaRDI QIDQ4997286zbMATH OpenFDO

Authors Robin Adams

Publication date 29 June 2021

Full work available at URL https://arxiv.org/abs/1412.8543, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2014.10

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Quantum computation (81P68)

Recommendations

• Towards a quantum programming language
• Quantum Predicative Programming
• Quantum programming languages: survey and bibliography
• scientific article; zbMATH DE number 1612487
• QPCF: higher-order languages and quantum circuits
• \(Q|SI\rangle \): a quantum programming environment
• A programming language characterizing quantum polynomial time
• scientific article; zbMATH DE number 1512863
• QWIRE: a core language for quantum circuits

Cited in

(3)

• Algebraic effects, linearity, and quantum programming languages
• A type theory for probabilistic and Bayesian reasoning
• QPEL

Describes a project that uses

Uses Software

• QPL

This page was built for publication:

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