Similar Items: Scalar and Vectorial mu-calculus with Atoms
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
- $aleph_1$ and the modal $mu$-calculus
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Intersection Types for the lambda-mu Calculus
- Probabilistic modal {mu}-calculus with independent product
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus