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

Paula Severi, Fer-Jan de Vries (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics