APICe » Publications » coalgCoind97

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

Bart Jacobs, Jan Rutten
Bulletin of the European Association for Theoretical Computer Science 62, pages 222-259, 1997
@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}}