[msp-interest] [MSP101] Bob Atkey: Embedding containers in coherence spaces (3pm Thu 7/5, LT711)

[Emma Tye]

Dear all,

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

Best wishes,
Emma

Date, time and place:
  Thursday 7 May, 15:00, Livingstone Tower room LT711

Online attendance:
  https://www.youtube.com/channel/UC3IBMh699qT5wawP3nHRItg/live

Speaker:
  Bob Atkey (MSP)

Title:
  Embedding containers in coherence spaces

Abstract:
  Containers are a representation of polynomial functors that have been used variously for describing data types and for back-and-forth communication, amongst other things. Coherence spaces are a model of classical linear logic, as well as a special kind of Scott domain. I will describe a functor from the category of containers into coherence spaces and linear maps. This functor is faithful, and is full if we allow partial maps of containers.

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