Recursive Function Definition over Coinductive Types
- 17 September 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- HOLCF = HOL + LCFJournal of Functional Programming, 1999
- Elementary Microarchitecture AlgebraPublished by Springer Nature ,1999
- Mechanizing coinduction and corecursion in higher-order logicJournal of Logic and Computation, 1997
- Derivation and use of induction schemes in higher-order logicPublished by Springer Nature ,1997
- Possibly infinite sequences in theorem provers: A comparative studyPublished by Springer Nature ,1997
- Topological SpacesPublished by Springer Nature ,1997
- Function definition in higher-order logicPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994