Seminarium, Logik
On 6 mars
-
Seminarium, Logik
onsdag 2024-03-06, 10.00 - 12.00
Medverkande: Loïc Pujet (SU)
Plats: Albano house 1, floor 3, Room U (Kovalevsky)
2024-03-06T10:00:00.000+01:00 2024-03-06T12:00:00.000+01:00 Loïc Pujet: Church's Thesis in Type Theory (Seminarium, Logik) Albano house 1, floor 3, Room U (Kovalevsky) (KTH, Stockholm, Sweden)Loïc Pujet: Church's Thesis in Type Theory (Seminarium, Logik)