Skip to content

ψQuantum PL WIKITHE LANGUAGE OF QUANTUM COMPUTATION

Article index Papers Reading paths About

THE COLLECTION CONTENTS

IMathematical foundations Quantum States and Operations Quantum Circuits

IIQuantum languages Linear Type Systems Quantum Programming Languages

IIIProgram semantics Denotational Semantics Weakest Preconditions

IVLogic & verification Quantum Hoare Logic Verification Methods and Tools

Papers Classic papers Latest papers Editor recommendations

About this collection ↗

Papers

Classic papers Latest papers Editor recommendations

Quantum PL Wiki ✦ A personal encyclopedia of quantum programs

Search the collection

Enter a concept, language or keyword