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

   page       BibTeX_logo.png   
Bart Jacobs, Jan Rutten
Bulletin of the European Association for Theoretical Computer Science 62, pages 222-259
1997

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY