Seminarium, Beräkningsmatematik
On 16 november
-
Seminarium, Beräkningsmatematik
onsdag 2022-11-16, 13.30 - 14.15
Medverkande: Axel Ljungström
Plats: Albano, Cramer room
2022-11-16T13:30:00.000+01:00 2022-11-16T14:15:00.000+01:00 Axel Ljungström: Introduction to Agda (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Axel Ljungström: Introduction to Agda (Seminarium, Beräkningsmatematik)