2014-12-03: HoTT reading group @ Strathclyde

Sat, 21 Oct 2023 21:24:08 +0100

HoTT reading group @ Strathclyde (LT1310)

HoTT reading group @ Strathclyde

We will read the paper A Model of Type Theory in Cubical Sets by Marc Bezem, Thierry Coquand and Simon Huber. Thierry's Variation on cubical sets might also be useful. Administrative details: meet for lunch at 12am for those who want to, reading group starts at 2pm.

2014-12-03 14:00:00 UTC
LT1310