Introduction to Homotopy Type Theory

Date: 

Tuesday, September 27, 2022, 11:15am to 12:30pm

Liam McInroy will present an introduction to homotopy type theory and lead the discussion.