Winter semester 2024/25

11.10 - Aleksy Schubert, The context of the higher-order matching problem
18.10 - Aleksy Schubert, Stirling games in the proof of the higher-order matching problem
29.11 - Aleksy Schubert, Higher-order matching, transformations T1 and T2 and 4th order matching
5.12 - Aleksy Schubert, Unfolding and recapitulation of the higher-order matching proof
10.01 - Aleksy Schubert, Provability in System F with open instantiations