Similar Items: Indexed Induction and Coinduction, Fibrationally
- Generic Fibrational Induction
- Totality for Mixed Inductive and Coinductive Types
- Bootstrapping Inductive and Coinductive Types in HasCASL
- Global semantic typing for inductive and coinductive computing
- The Size-Change Principle for Mixed Inductive and Coinductive types
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice