Types, Lambdas and Categories

This week Adam is attending the 2012 Midlands Graduate School on the foundations of computing science. In particular, he is attending courses on typed labmda calculus, advanced functional programming and category theory. The category theory course, given by Graham Hutton, is based on an unusually student-friendly set of course notes (available online) which introduces categories as a special case of graphs, with some additional structure.