Mixed Inductive/Coinductive Types and Strong Normalization
No abstract available.
Related papers
- A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction APLAS 2011
- Well-founded recursion with copatterns and sized types JFP 2016
- Wellfounded recursion with copatterns: a unified approach to termination and productivity ICFP 2013
- Practical Subtyping for Curry-Style Languages TOPLAS 2019
- Generalizing Inference Systems by Coaxioms ESOP 2017
- From enhanced coinduction towards enhanced induction POPL 2022
- Inductive, Coinductive, and Pointed Types ICFP 1996
- Elaborating dependent (co)pattern matching ICFP 2018