autore : Bart Jacobs
1
pubblicazione
A Tutorial on (Co)Algebras and (Co)Induction (Bulletin of the European Association for Theoretical Computer Science, 1997) — Bart Jacobs, Jan Rutten A Tutorial on (Co)Algebras and (Co)Induction (Bulletin of the European Association for Theoretical Computer Science, 1997) — Bart Jacobs, Jan Rutten