Pages that link to "Item:Q4818937"

The following pages link to Towards a quantum programming language (Q4818937):

Displaying 50 items.

• Quantum patterns and types for entanglement and separability (Q2864172) (← links)
• Dagger compact closed categories and completely positive maps (extended abstract) (Q2864173) (← links)
• Quantum programs with classical output streams (extended abstract) (Q2864174) (← links)
• A hierarchy of quantum semantics (Q2864503) (← links)
• A quantum game semantics for the measurement calculus (Q2870204) (← links)
• From reversible to irreversible computations (Q2870206) (← links)
• Towards a quantum calculus (work in progress, extended abstract) (Q2870207) (← links)
• Quantum data and control made easier (Q2870210) (← links)
• Idempotents in dagger categories (extended abstract) (Q2870211) (← links)
• On a fully abstract model for a quantum linear functional language (extended abstract) (Q2870212) (← links)
• On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
• (Q2980972) (← links)
• $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
• (Q3385626) (← links)
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
• (Q3560843) (← links)
• Towards a typed Geometry of Interaction (Q3564345) (← links)
• Measurement-Based and Universal Blind Quantum Computation (Q3575028) (← links)
• On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
• (Q4508561) (← links)
• A categorical analogue of the monoid semiring construction (Q4911303) (← links)
• Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
• Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
• (Q4997286) (← links)
• (Q5015185) (← links)
• Unordered Tuples in Quantum Computation (Q5015199) (← links)
• (Q5015203) (← links)
• (Q5018491) (← links)
• (Q5019687) (← 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)
• (Q5089018) (← links)
• (Q5091270) (← links)
• (Q5109520) (← links)
• Concurrent Quantum Strategies (Q5237210) (← links)
• Functional and Logic Programming (Q5308007) (← links)
• Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)
• Game Semantics for Quantum Stores (Q5415636) (← links)
• A computer scientist’s reconstruction of quantum theory* (Q5876440) (← links)
• Software science view on quantum circuit algorithms (Q6040659) (← links)
• Classically time-controlled quantum automata (Q6049068) (← links)
• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)
• Quantum symbolic execution (Q6089500) (← links)
• The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)
• Axioms for the category of Hilbert spaces and linear contractions (Q6203678) (← links)
• Topological quantum gates in homotopy type theory (Q6584358) (← links)
• Describing and animating quantum protocols (Q6612788) (← links)
• Quantum temporal logic and reachability problems of matrix semigroups (Q6614888) (← links)
• Causality in higher order process theories (Q6646307) (← links)
• Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432) (← links)