Seminar, Nobuko Yoshida, Monday 3rd February
Prof. Nobuko Yoshida of Oxford University is visiting us next Monday (3 February). Nobuko has kindly agreed to give a talk on her work during her visit. The talk will be at 1pm in JC1.33a. Nobuko Yoshida, University of Oxford, UK https://www.cs.ox.ac.uk/people/nobuko.yoshida/ Title Multiparty Session Types: Separation and Encodability Results Abstract Multiparty session types (MPST) […]