Diary Entry: 2011-02-09 00:00:00 - 2011-02-09 00:00:00

Phil gives a talk on Relation Lifting and Bisimulation as part of the Co-algebra seminar series.