School of Computer Science

Theory Lab Lunch

Informal talks for the Theory group in School of Computer Science.

Lab Lunch

Bifibrations of Polycategories and Classical Linear Logic

  • Speaker: Nicolas Blanco (University of Birmingham)
  • Date: Thursday 28 May 2020, 13:55-15:00
  • Venue: Zoom.