Homotopy languagesDate: January 30, 2025Invited talk for the ASSUME joint seminar on Univalent foundations between Universities of Birmingham and Notthingham.Share on Twitter Facebook LinkedIn Previous Next