A Tutorial on (Co)Algebras and (Co)Induction
 |
 |
@article{coalgCoind97,
Author = {Jacobs, Bart and Rutten, Jan},
Journal = {Bulletin of the European Association for Theoretical Computer Science},
Pages = {222-259},
Title = {A Tutorial on (Co)Algebras and (Co)Induction},
Volume = {62},
Year = {1997}}
Author = {Jacobs, Bart and Rutten, Jan},
Journal = {Bulletin of the European Association for Theoretical Computer Science},
Pages = {222-259},
Title = {A Tutorial on (Co)Algebras and (Co)Induction},
Volume = {62},
Year = {1997}}