qPCF

MaRDI QIDQ32087swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-55911-7_33

Described by source

• QPCF: higher-order languages and quantum circuits
• \textsc{qPCF}: a language for quantum circuit computations

Cited in

(4)

• The fixed point problem of a simple reversible language
• QML
• Q#
• A logic for quantum register measurements

This page was built for software: qPCF