Pages that link to "Item:Q5408456"

The following pages link to Applying quantitative semantics to higher-order quantum computing (Q5408456):

Displaying 27 items.

• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
• Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
• Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
• Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
• A logic for quantum register measurements (Q2306145) (← links)
• QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
• A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
• Complete positivity and natural representation of quantum computations (Q2520702) (← links)
• $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
• Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
• Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
• (Q4989404) (← links)
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras (Q5014789) (← links)
• Unordered Tuples in Quantum Computation (Q5015199) (← links)
• (Q5015215) (← links)
• (Q5018491) (← links)
• (Q5019687) (← links)
• Typing Quantum Superpositions and Measurement (Q5055990) (← links)
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
• (Q5109520) (← links)
• Concurrent Quantum Strategies (Q5237210) (← links)
• (Q5863035) (← links)
• Monoidal reverse differential categories (Q5889303) (← links)
• A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)
• Quantum CPOs (Q6645582) (← links)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)