Pages that link to "Item:Q5704021"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704021):
Displaying 7 items.
- Confluence in probabilistic rewriting (Q2333318) (← 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 (Q2864174) (← links)
- A Quantum Game Semantics for the Measurement Calculus (Q2870204) (← links)
- On a Fully Abstract Model for a Quantum Linear Functional Language (Q2870212) (← links)
- Applicative Bisimulation and Quantum λ-Calculi (Q3455863) (← links)
