Dissertation
Fri 04 October
-
Dissertation
Friday 2024-10-04, 13:00
Participating: Max Zeuner (Stockholm University)
Location: Lärosal 5, Hus 1, Albano campus, Stockholm Univ.
Doctoral student: Max Zeuner , Department of Mathematics, Stockholm University
2024-10-04T13:00:00.000+02:00 2024-10-04T13:00:00.000+02:00 Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Dissertation) Lärosal 5, Hus 1, Albano campus, Stockholm Univ. (KTH, Stockholm, Sweden)Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Dissertation)