Seminar, Computational Mathematics
Mon 28 April - Wed 31 December
-
Seminar, Computational Mathematics
Wednesday 2025-04-30, 13:00 - 14:00
Participating: Reid W. Barton
Location: Room Cramer
2025-04-30T13:00:00.000+02:00 2025-04-30T14:00:00.000+02:00 Reid W. Barton: Condensed type theory and directed univalence (Seminar, Computational Mathematics) Room Cramer (KTH, Stockholm, Sweden)Reid W. Barton: Condensed type theory and directed univalence (Seminar, Computational Mathematics)