Lambda the Ultimate

inactiveTopic Papers in Coalgebra Theory and Applications
started 10/14/2003; 2:51:14 PM - last post 10/15/2003; 4:45:24 PM
Ehud Lamm - Papers in Coalgebra Theory and Applications  blueArrow
10/14/2003; 2:51:14 PM (reads: 7277, responses: 2)
Papers in Coalgebra Theory and Applications
Links to quite a few useful papers about colagebras.

For example:

J. Rothe, B. Jacobs, H. Tews, The Coalgebraic Class Specification Language CCSL.

H. Tews, Coalgebraic Methods for Object-Oriented Specification.

B. Jacobs, Objects and classes, co-algebraically.


Posted to theory by Ehud Lamm on 10/14/03; 2:51:52 PM

Neel Krishnaswami - Re: Papers in Coalgebra Theory and Applications  blueArrow
10/15/2003; 4:40:46 PM (reads: 254, responses: 1)
If you want a (relatively) gentle introduction to this topic, look at "A Tutorial on (Co)Algebras and (Co)Induction", at :

<http://citeseer.nj.nec.com/jacobs97tutorial.html>

Ehud Lamm - Re: Papers in Coalgebra Theory and Applications  blueArrow
10/15/2003; 4:45:24 PM (reads: 269, responses: 0)
We mentioned this one a few times in the past. I agree, it's a very useful introduction.