Bulletin of the European Association for Theoretical Computer Science

funge da
rivista che contiene
page_white_acrobatA Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten