Pages that link to "Item:Q2333318"
From MaRDI portal
The following pages link to Confluence in probabilistic rewriting (Q2333318):
Displaying 6 items.
- Confluence and convergence modulo equivalence in probabilistically terminating reduction systems (Q1726351) (← links)
- A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- (Q5089021) (← links)
- (Q5094133) (← links)
- A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)