Filters on coinductive streams, an application to eratosthenes’ sieve. Pages 102–115 of: TLCA’05 (2005)

by Yves Bertot
Venue:Proceedings of the 7th international conference on typed lambda calculi and applications