Distributive laws for the coinductive solution of recursive equations

by Bart Jacobs

Venue:	Information and Computation
Citations:	11 - 1 self

Datum	Value	Source
TITLE	Distributive laws for the Coinductive Solution of Recursive Equations	SVM HeaderParse 0.2
AUTHOR NAME	Bart Jacobs	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences,; Radboud University Nijmegen	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL Nijmegen, The Netherlands	SVM HeaderParse 0.2
ABSTRACT	This paper illustrates the relevance of distributive laws for the solution of recursive equations, and shows that one approach for obtaining coinductive solutions of equations via infinite terms is in fact a special case of a more general approach using an extended form of coinduction via distributive laws. 1	SVM HeaderParse 0.2
CITATIONS	24 found	ParsCit 1.0