Pages that link to "Item:Q5704021"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704021):
Displaying 12 items.
- Models of quantum computation and quantum programming languages (Q2250909) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- Measurements and confluence in quantum lambda calculi with explicit qubits (Q2825343) (← links)
- An overview of QML with a concrete implementation in Haskell (Q2825353) (← links)
- An algebra of pure quantum programming (Q2864167) (← links)
- Quantum programs with classical output streams (extended abstract) (Q2864174) (← links)
- A quantum game semantics for the measurement calculus (Q2870204) (← links)
- On a fully abstract model for a quantum linear functional language (extended abstract) (Q2870212) (← links)
- Applicative Bisimulation and Quantum λ-Calculi (Q3455863) (← 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)
- Causal and causally separable processes (Q5855090) (← links)