First Page | Document Content | |
---|---|---|
Date: 2012-10-10 03:52:07Category theory Theoretical computer science Mathematics Bisimulation F-coalgebra Coinduction Functor Coalgebra Universal property | 1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, stillAdd to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 1,12 MBShare Document on Facebook |