Pure type systems with corecursion on streams: from finite to infinitary normalisation.

Paula Severi, Fer-Jan de Vries

Browse the full ICFP paper archive.