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