This talk gives an elementary introduction to some central ideas in the theory of computation, including lambda calculus and its relation to category theory. The aim was to get to the statement of the Curry-Howard correspondence, but we ran out of time; at some point there will be another talk in the seminar to finish this material off.
The lecture notes are available here: therisingsea.org/notes/ch2018-lecture2.pdf.
For the first lecture, giving an introduction to the seminar series see: vimeo.com/259518045.
For the general seminar webpage see therisingsea.org/post/seminar-ch/.