20 Oct
2000
20 Oct
'00
3:35 p.m.
Hi, Al Vilcius writes: From: "Al Vilcius" <al.r@VILCIUS.com> Date: Fri, 20 Oct 2000 08:57:20 -0400 Subject: categories: coinduction can anyone explain coinduction? Have a look at Bart Jacobs and Jan Rutten A Tutorial on (Co)Algebras and (Co)Induction Bulletin of the EATCS, Vol. 62, pp. 222-259, 1996. it is available on the authors homepages, for instance http://www.cs.kun.nl/~bart/PAPERS/JR.ps.Z Bye, Hendrik