tag:blogger.com,1999:blog-9757377.post1563865462444219276..comments2008-06-03T08:50:43.133+01:00Philip Wadlerhttp://www.blogger.com/profile/12009347515095774366noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-9757377.post-86190455650587813032008-06-03T08:50:00.000+01:002008-06-03T08:50:00.000+01:00I think Bart Jacobs has done work on coalgebraic models of OO systems. <BR/><BR/>http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.8533James Noblehttp://www.mcs.vuw.ac.nz/~kjxnoreply@blogger.com