Seminarium, Beräkningsmatematik
Ti 29 april - On 31 december
-
Seminarium, Beräkningsmatematik
onsdag 2025-04-30, 13.00 - 14.00
Medverkande: Reid W. Barton
Plats: 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 (Seminarium, Beräkningsmatematik) Room Cramer (KTH, Stockholm, Sweden)Reid W. Barton: Condensed type theory and directed univalence (Seminarium, Beräkningsmatematik)