qPCF

swMATH20267MaRDI QIDQ32087FDOQ32087

Author name not available (Why is that?)

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