Type Theory: practice session

When:
April 2, 2017 @ 1:30 pm – 3:00 pm
2017-04-02T13:30:00-10:00
2017-04-02T15:00:00-10:00
Where:
Keller Hall (4th fl)

(hands on practice session to accompany 11am lecture)