Pages that link to "Item:Q2825348"
From MaRDI portal
The following pages link to On quantum and probabilistic linear lambda-calculi (extended abstract) (Q2825348):
Displaying 9 items.
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- On a fully abstract model for a quantum linear functional language (extended abstract) (Q2870212) (← links)
- On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311156) (← links)
- (Q5357721) (← links)
- The geometry of parallelism: classical, probabilistic, and quantum effects (Q5370917) (← links)