Talks
Fall 2016

Compositionality and Session Types

Monday, December 5th, 2016, 2:40 pm3:15 pm

Add to Calendar

Location: 

Calvin Lab Auditorium

I shall talk about a difficulty to extend session types to be compositional in several contexts: multiparty session types, communicating automata and Linear Logic. I also talk about several solutions -- some of them are motivated by practical applications of the session types.