You are not logged in |
The context of the higher-order matching problem
- Speaker(s)
- Aleksy Schubert
- Affiliation
- MIM
- Language of the talk
- English
- Date
- Oct. 11, 2024, 12:15 p.m.
- Room
- room 5450
- Title in Polish
- Kontekst problemu dopasowania wyższego rzędu
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
The higher-order matching problem is a notoriously difficult decision problem, which was solved by Colin Stirling positively. However, the existing proof is very difficult to understand. I will present the basic definitions concerning the problem and introductory facts necessary for further exposition of Stirling's proof details.
