Type theory seminar

Fall 2019

Spring 2019

This semester we meet Wednesdays 10-12 at various locations at ITU

Fall 2018

Spring 2018

Fall 2017

Spring 2017