Parametric corecursion

This publication has 6 references indexed in Scilit:

• Universal coalgebra: a theory of systems
  Theoretical Computer Science, 2000
• Recursion and Corecursion Have the Same Equational Logic
  Electronic Notes in Theoretical Computer Science, 1999
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
  Mathematical Structures in Computer Science, 1998
• The logic of recursive equations
  The Journal of Symbolic Logic, 1998
• Guarded induction on final coalgebras
  Electronic Notes in Theoretical Computer Science, 1998
• On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
  Lecture Notes in Computer Science, 1993