1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

First Page		Document Content
Date: 2012-10-10 03:52:07 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 Source URL: events.inf.ed.ac.uk Download Document from Source Website File Size: 1,12 MB Share Document on Facebook