Type Theory: practice session When: April 2, 2017 @ 1:30 pm – 3:00 pm Repeats 2017-04-02T13:30:00-10:00 2017-04-02T15:00:00-10:00 Where: Keller Hall (4th fl) Colloquia and seminars (hands on practice session to accompany 11am lecture)