Filters on CoInductive Streams, an Application to Eratosthenes’ Sieve

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/11417170_9 ◽

2005 ◽

pp. 102-115 ◽

Author(s):

Yves Bertot

Download Full-text