Mixed Inductive/Coinductive Types and Strong Normalization

by Andreas Abel
Citations:7 - 2 self