Bulletin of the European Association for Theoretical Computer Science

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