From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems (1999)
by
Marina Lenisa
| Venue: | In Jacobs and Rutten [JR99 |
| Citations: | 11 - 0 self |
Document Versions
| From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems –Marina Lenisa — 1999 — In Jacobs and Rutten [JR99 |
| From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems –Marina Lenisa — 1999 — In Jacobs and Rutten [JR99 |
