Similar Items: Datatype defining rewrite systems for naturals and integers
- Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
- Affine Extensions of Integer Vector Addition Systems with States
- Natural Transformations as Rewrite Rules and Monad Composition
- Monotonicity Constraints for Termination in the Integer Domain
- On Constructor Rewrite Systems and the Lambda Calculus
- Theories of real addition with and without a predicate for integers