A Unifying Approach to Recursive and Co-recursive Definitions
- 15 April 2003
- book chapter
- Published by Springer Nature
- p. 148-161
- https://doi.org/10.1007/3-540-39185-1_9
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Databases in Networked Information SystemsLecture Notes in Computer Science, 2000
- Recursive Function Definition over Coinductive TypesPublished by Springer Nature ,1999
- Type-based termination of recursive definitionsMathematical Structures in Computer Science, 1999
- Structural recursive definitions in type theoryPublished by Springer Nature ,1998
- 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
- Terminating general recursionBIT Numerical Mathematics, 1988
- Processes and the denotational semantics of concurrencyInformation and Control, 1982