Licentiate seminar
Thu 19 January
-
Licentiate seminar
Thursday 2023-01-19, 13:00 - 14:00
Location: Cramér room, Albano building 1
Doctoral student: 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 (Licentiate seminar) Cramér room, Albano building 1 (KTH, Stockholm, Sweden)Max Zeuner: Formalizing Univalent Set-Level Structures in Cubical Agda (Licentiate seminar)