Similar Items: A Theory of Explicit Substitutions with Safe and Full Composition
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- Explicit fairness in testing semantics
- An Explicit Framework for Interaction Nets
- Variable binding and substitution for (nameless) dummies
- The Safe Lambda Calculus
- Simplifying explicit subtyping coercions in a polymorphic calculus with effects