Pages that link to "Item:Q3625676"

The following pages link to On a measurement-free quantum lambda calculus with classical control (Q3625676):

Displaying 8 items.

• Quantum implicit computational complexity (Q1044836) (← links)
• QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
• Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
• Confluence Results for a Quantum Lambda Calculus with Measurements (Q2825377) (← links)
• On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
• $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
• (Q5015214) (← links)