Mixed Inductive/Coinductive Types and Strong Normalization.

Andreas Abel

Browse the full APLAS paper archive.