1) | 5 December 2023 | Simply Typed Lambda Calculus. Properties, WN, 3 proofs of SN. |
2) | 12 December 2023 | Intersection types, Turing-equivalence between DP in simply typed and IHP in CDV. |
3) | 9 January 2024 | Böhm tree semantics, Filter Models and Approximation Theorems |
4) | 16 January 2024 | Multi-types, Approximation Theorem, exact bounds. |
|
Dernière mise à jour: 23 janvier 2024