Pages that link to "Item:Q5482273"

The following pages link to A lambda calculus for quantum computation with classical control (Q5482273):

Displaying 43 items.

• On block structures in quantum computation (Q265814) (← links)
• Quantum computation: from a programmer's perspective (Q468591) (← links)
• FJQuantum. A quantum object oriented language (Q529648) (← links)
• Quantum implicit computational complexity (Q1044836) (← links)
• Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
• Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
• An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
• A logic for quantum register measurements (Q2306145) (← 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)
• Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
• A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
• Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (Q2412588) (← links)
• Game semantics for quantum data (Q2825342) (← links)
• Measurements and confluence in quantum lambda calculi with explicit qubits (Q2825343) (← links)
• Confluence results for a quantum lambda calculus with measurements (Q2825377) (← links)
• Quantum data and control made easier (Q2870210) (← links)
• Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
• On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
• (Q2980972) (← links)
• $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
• Universal Properties in Quantum Theory (Q3385637) (← links)
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
• On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
• The Arrow Calculus as a Quantum Programming Language (Q3638297) (← links)
• Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
• (Q5015214) (← links)
• (Q5018491) (← links)
• Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← 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)
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
• Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
• Game Semantics for Quantum Stores (Q5415636) (← links)
• A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
• A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
• Reversible monadic computing (Q5971401) (← links)
• Classically time-controlled quantum automata (Q6049068) (← links)
• A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)
• Type-safe quantum programming in Idris (Q6535254) (← links)
• Quantum CPOs (Q6645582) (← links)
• A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)