Media type: E-Article Title: From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems Contributor: Lenisa, Marina imprint: Elsevier BV, 1999 Published in: Electronic Notes in Theoretical Computer Science Language: English DOI: 10.1016/s1571-0661(05)80265-8 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access