Diary Entry: 2012-12-13 00:00:00 - 2012-12-13 00:00:00

Tom Maibaum visits Swansea and presents a talkĀ "Intermodeling, queries, and Kleisli categories" in the Algebraic Specification Seminar.