Similar Items: Algebraic Pattern Matching in Join Calculus
- Lineal: A linear-algebraic Lambda-calculus
- A Concurrent Pattern Calculus
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
- Uniform Reliability of Self-Join-Free Conjunctive Queries
- Adaptive Non-linear Pattern Matching Automata
- A Near-Optimal Parallel Algorithm for Joining Binary Relations