Similar Items: Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
- Positive Inductive-Recursive Definitions
- Automatic Modular Abstractions for Template Numerical Constraints
- Inductive Definition and Domain Theoretic Properties of Fully Abstract
- Modular, Fully-abstract Compilation by Approximate Back-translation
- Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- A Light Modality for Recursion