Similar Items: Initial Semantics for Reduction Rules
- Presentable signatures and initial semantics
- Initial Algebra Semantics for Cyclic Sharing Tree Structures
- Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
- Rule Algebras for Adhesive Categories
- Rule Formats for Nominal Process Calculi
- Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies