Pages that link to "Item:Q5370917"
From MaRDI portal
The following pages link to The geometry of parallelism: classical, probabilistic, and quantum effects (Q5370917):
Displaying 13 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- (Q4972738) (← links)
- (Q5028447) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5089021) (← links)
- (Q5089025) (← links)
- (Q5109520) (← links)
- Concurrent Quantum Strategies (Q5237210) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)