Type Theory: practice session

When:
March 29, 2017 @ 1:30 pm – 3:00 pm
2017-03-29T13:30:00-10:00
2017-03-29T15:00:00-10:00
Where:
Keller Hall (4th fl)

(hands on practice session to accompany 11am lecture)