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}}

Tags:
    

Publication

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

— status

published  

— authors

Bart Jacobs, Jan Rutten

BibTeX

— BibTeX ID
coalgCoind97
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY