journal : Bulletin of the European Association for Theoretical Computer Science

1 article
page_white_acrobat A Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten
[ journal cloud / publications ]