Recursion and Corecursion Have the Same Equational Logic

@article{Moss1999RecursionAC,
  title={Recursion and Corecursion Have the Same Equational Logic},
  author={Lawrence S. Moss},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={1999},
  volume={20},
  pages={413-432}
}
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Equational properties of iterative monads

View 5 Excerpts
Highly Influenced

Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)

Electr. Notes Theor. Comput. Sci. • 2009
View 3 Excerpts
Highly Influenced

A Sound and Complete Calculus for Finite Stream Circuits

2010 25th Annual IEEE Symposium on Logic in Computer Science • 2010
View 2 Excerpts

A duality between proof systems for cyclic term graphs

Mathematical Structures in Computer Science • 2007
View 1 Excerpt

Elgot Algebras

Logical Methods in Computer Science • 2006

Elgot Algebras: (Extended Abstract)

Electr. Notes Theor. Comput. Sci. • 2006
View 1 Excerpt

How Iterative are Iterative Algebras?

Electr. Notes Theor. Comput. Sci. • 2006
View 2 Excerpts

Similar Papers

Loading similar papers…