Seminars and Lectures

• Lectures on Dependent Type Theories, Midlands Graduate School 2009, Leicester, March 30th - April 3rd, 2009
• Polynomial Functors and Polynomial Monads, Leeds Symposium in Proof Theory and Constructivism, July 13th 2009