Schedule.2017

Schedule 2017

Date	Leader	Topic
30 Nov	Andreas	From simply-typed lambda calculus to cartesian closed categories
07 Dec	Andreas	Cartesian closed categories
14 Dec	Andreas	Exercises around STL and CCC (on paper and/or in Agda)

To celebrate the end of the term, we meet afterwards in the Rotary Pub which opens 7pm.