Licentiatseminarium
Må 16 januari - Sö 22 januari
-
Licentiatseminarium
torsdag 2023-01-19, 13.00 - 14.00
Plats: Cramér room, Albano building 1
Licentiand: Max Zeuner
2023-01-19T13:00:00.000+01:00 2023-01-19T14:00:00.000+01:00 Max Zeuner: Formalizing Univalent Set-Level Structures in Cubical Agda (Licentiatseminarium) Cramér room, Albano building 1 (KTH, Stockholm, Sweden)Max Zeuner: Formalizing Univalent Set-Level Structures in Cubical Agda (Licentiatseminarium)