James Mckinna

  1. Title:
    Type Theory and Algebraic BX
    Speaker:
    James Mckinna

    Link:
    http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312040919-McKinna.html