Unifying Recursive and Co-recursive Definitions in Sheaf Categories
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Nature ,2005
- A Unifying Approach to Recursive and Co-recursive DefinitionsPublished by Springer Nature ,2003
- General Recursion in Type TheoryPublished by Springer Nature ,2003
- Fix-Point Equations for Well-Founded Recursion in Type TheoryPublished by Springer Nature ,2000
- Recursive Function Definition over Coinductive TypesPublished by Springer Nature ,1999
- Codifying guarded definitions with recursive schemesPublished by Springer Nature ,1995
- Terminating general recursionBIT Numerical Mathematics, 1988
- Processes and the denotational semantics of concurrencyInformation and Control, 1982