Nie jesteś zalogowany |
What is higher in the higher-order matching now?
- Prelegent(ci)
- Aleksy Schubert
- Afiliacja
- MIMUW
- Język referatu
- angielski
- Termin
- 16 stycznia 2026 12:15
- Pokój
- p. 5450
- Tytuł w języku polskim
- Co nowego udało się dopasować w dopasowaniu wyższego rzędu?
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
