Similar Items: The Size-Change Termination Principle for Constructor Based Languages
- Büchi Complementation and Size-Change Termination
- Ranking Functions for Size-Change Termination II
- Size-Change Termination, Monotonicity Constraints and Ranking Functions
- Semantics of Typed Lambda-Calculus with Constructors
- On Constructor Rewrite Systems and the Lambda Calculus
- The Size-Change Principle for Mixed Inductive and Coinductive types