Filters on CoInductive Streams, an Application to Eratosthenes’ Sieve
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 102-115
- https://doi.org/10.1007/11417170_9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Unifying Recursive and Co-recursive Definitions in Sheaf CategoriesPublished by Springer Nature ,2004
- Interactive Theorem Proving and Program DevelopmentPublished by Springer Nature ,2004
- An Axiomatization of Linear Temporal Logic in the Calculus of Inductive ConstructionsJournal of Logic and Computation, 2003
- A Unifying Approach to Recursive and Co-recursive DefinitionsPublished by Springer Nature ,2003
- An application of co-inductive types in Coq: Verification of the alternating bit protocolPublished by Springer Nature ,1996
- Codifying guarded definitions with recursive schemesPublished by Springer Nature ,1995
- Programming with streams in Coq a case study: The Sieve of EratosthenesPublished by Springer Nature ,1994
- Infinite objects in type theoryPublished by Springer Nature ,1994
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977