Pages that link to "Item:Q5056005"
From MaRDI portal
The following pages link to A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005):
Displaying 4 items.
- 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)
- Classically time-controlled quantum automata (Q6049068) (← links)
- A note on confluence in typed probabilistic lambda calculi (Q6661149) (← links)