Codifying guarded definitions with recursive schemes
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Nature ,2005
- 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