Bart Jacobs 0001, Jan Rutten. An introduction to (co)algebra and (co)induction. In Davide Sangiorgi, Jan J. M. M. Rutten, editors, Advanced Topics in Bisimulation and Coinduction. Volume 52 of Cambridge tracts in theoretical computer science, pages 38-99, Cambridge University Press, 2012.
@incollection{0001R12-0,
title = {An introduction to (co)algebra and (co)induction},
author = {Bart Jacobs 0001 and Jan Rutten},
year = {2012},
researchr = {https://researchr.org/publication/0001R12-0},
cites = {0},
citedby = {0},
pages = {38-99},
booktitle = {Advanced Topics in Bisimulation and Coinduction},
editor = {Davide Sangiorgi and Jan J. M. M. Rutten},
volume = {52},
series = {Cambridge tracts in theoretical computer science},
publisher = {Cambridge University Press},
isbn = {978-1-10-700497-9},
}