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
This pages was last modified on January 26th, 2010 by Nicola Gambino