Two-level type theory and its modelsSalı, 17 Kasım 2026, 20:00 · OnlineAkademik etkinlik, bilim ile ilgili, matematik semineri, çevrimiçiSeçki İstanbul: İstanbul'da bugün neler var?