Back to Results
First PageMeta Content
Category theory / Theoretical computer science / Mathematics / Bisimulation / F-coalgebra / Coinduction / Functor / Coalgebra / Universal property


1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still
Add to Reading List

Document Date: 2012-10-10 03:52:07


Open Document

File Size: 1,12 MB

Share Result on Facebook