A Tutorial on (Co)Algebras and (Co)Induction (1997)

Cached

Download Links

by Bart Jacobs , Jan Rutten
Venue:EATCS Bulletin
Citations:228 - 34 self

Document Versions

A Tutorial on (Co)Algebras and (Co)Induction –Bart Jacobs, Jan Rutten — 1997 — EATCS Bulletin