Pages that link to "Item:Q345711"
From MaRDI portal
The following pages link to Semantics of higher-order quantum computation via geometry of interaction (Q345711):
Displaying 12 items.
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- A quantum game semantics for the measurement calculus (Q2870204) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- (Q5109520) (← links)
- The geometry of parallelism: classical, probabilistic, and quantum effects (Q5370917) (← links)
- Applying quantitative semantics to higher-order quantum computing (Q5408456) (← links)
- (Q5875356) (← links)
- The game semantics of game theory (Q6612787) (← links)