The following pages link to (Q4447223):
Displaying 8 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- On the hardness of analyzing probabilistic programs (Q1733103) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- (Q2980972) (← links)
- Probabilistic Choice, Reversibility, Loops, and Miracles (Q3055752) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)