Filters on coinductive streams, an application to Eratosthenes’ sieve (2005)

by Yves Bertot
Venue:In Pawel Urzyczyn, editor, Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, volume 3461 of LNCS