51:37 duration 51 minutes 37 seconds
LMS Computer Science Colloquium - Nobuko Yoshida…
LMS Computer Science Colloquium - Nobuko Yoshida (Imperial College London)
An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Nobuko Yoshida (Imperial College London) - Session Types:…