Similar Items: Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
- Datatype defining rewrite systems for naturals and integers
- Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- Initial Algebra Semantics for Cyclic Sharing Tree Structures
- Untyping Typed Algebras and Colouring Cyclic Linear Logic
- A Functional (Monadic) Second-Order Theory of Infinite Trees