Pages that link to "Item:Q5370918"

The following pages link to QWIRE: a core language for quantum circuits (Q5370918):

Displaying 24 items.

• Toward automatic verification of quantum programs (Q667515) (← links)
• Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
• An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
• QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
• A modeling and verification framework for optical quantum circuits (Q2418045) (← links)
• (Q3384929) (← links)
• A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) (Q3384934) (← links)
• (Q3385623) (← links)
• (Q3385643) (← links)
• (Q5018491) (← links)
• Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
• (Q5109520) (← links)
• Sized Types for Low-Level Quantum Metaprogramming (Q5237215) (← links)
• Software science view on quantum circuit algorithms (Q6040659) (← links)
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)
• Type-safe quantum programming in Idris (Q6535254) (← links)
• Automated quantum program verification in dynamic quantum logic (Q6546614) (← links)
• Semantics for a lambda calculus for string diagrams (Q6612802) (← links)
• A Coq-based infrastructure for quantum programming, verification and simulation (Q6636079) (← links)
• Quantum CPOs (Q6645582) (← links)
• Quantum Hoare type theory: extended abstract (Q6645590) (← links)
• Generating formally verified quantum Fourier transform algorithms (Q6648175) (← links)
• A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)