You are not logged in |
What is higher in the higher-order matching now?
- Speaker(s)
- Aleksy Schubert
- Affiliation
- MIMUW
- Language of the talk
- English
- Date
- Jan. 16, 2026, 12:15 p.m.
- Room
- room 5450
- Title in Polish
- Co nowego udało się dopasować w dopasowaniu wyższego rzędu?
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
