http://www.arsmathematica.net/archives/2006/01/04/wikipedia-on-corecursion/ Dedicated to the mathematical arts. Thu, 20 Nov 2008 17:07:25 +0000 http://wordpress.org/?v=2.5.1 http://www.arsmathematica.net/archives/2006/01/04/wikipedia-on-corecursion/#comment-53903 sigfpe Sat, 14 Jul 2007 21:36:03 +0000 http://www.arsmathematica.net/?p=198#comment-53903 And now I've written it up <a href="http://sigfpe.blogspot.com/2007/07/data-and-codata.html" rel="nofollow">here</a>. Still not "encyclopaedic" enough for a Wikipedia article though. And now I’ve written it up here. Still not “encyclopaedic” enough for a Wikipedia article though.

]]> http://www.arsmathematica.net/archives/2006/01/04/wikipedia-on-corecursion/#comment-53582 sigfpe Tue, 10 Jul 2007 01:14:57 +0000 http://www.arsmathematica.net/?p=198#comment-53582 This has been bothering me for the last 18 months. I now understand corecursion. The next stage will be to write a wikipedia article on it... This has been bothering me for the last 18 months. I now understand corecursion. The next stage will be to write a wikipedia article on it…

]]>