[msp-interest] [MSP101] Emma Tye: Martin-Löf Type Theory (continued) (3pm Tue 3/11, LT619)

[Emma Tye]

Dear all,

We have another MSP101 seminar coming up. Hope to see you there!

Best wishes,
Emma

Date, time and place:
  Tuesday 3 November, 15:00, Livingstone Tower room LT619

Online attendance:
  https://www.youtube.com/@msp.strathclyde/streams

Speaker:
  Emma Tye (MSP)

Title:
  Martin-Löf Type Theory (continued)

Abstract:
  Emma will continue her introductory talk on Martin-Löf Type Theory.

MSP101 Feeds:
  Web: http://msp.cis.strath.ac.uk/msp101.html
  RSS: http://msp.cis.strath.ac.uk/msp101.rss
 iCal: http://msp.cis.strath.ac.uk/msp101.ics