| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | A first taste of the Curry-Howard correspondence. | David A. Madore | 2023-11-22 | 1 | -1/+34 | |
| | | ||||||
| * | Beta-reduction and strong normalization (to be continued). | David A. Madore | 2023-11-16 | 1 | -0/+41 | |
| | | ||||||
| * | More properties of typing, incl. the substitution lemma. | David A. Madore | 2023-11-16 | 1 | -6/+97 | |
| | | ||||||
| * | Some properties of derivation in simply-typed lambda-calculus. | David A. Madore | 2023-11-16 | 1 | -0/+111 | |
| | | ||||||
| * | Give an example of a fully written out derivation tree. | David A. Madore | 2023-11-15 | 1 | -0/+39 | |
| | | ||||||
| * | Rules of the simply-typed lambda-calculus. | David A. Madore | 2023-11-15 | 1 | -3/+122 | |
| | | ||||||
| * | Various curiosities. | David A. Madore | 2023-11-15 | 1 | -3/+32 | |
| | | | | | (Thanks to Thierry Martinez for most of these suggestions.) | |||||
| * | Type systems for logic. | David A. Madore | 2023-11-15 | 1 | -1/+67 | |
| | | ||||||
| * | Curry's paradox (an interlude). | David A. Madore | 2023-11-15 | 1 | -0/+88 | |
| | | ||||||
| * | Typing and termination. | David A. Madore | 2023-11-15 | 1 | -0/+41 | |
| | | ||||||
| * | Tasks in a typing system. | David A. Madore | 2023-11-15 | 1 | -1/+45 | |
| | | ||||||
| * | More examples of languages with interesting type systems. | David A. Madore | 2023-11-15 | 1 | -4/+47 | |
| | | ||||||
| * | Use of typing systems beyond value control. | David A. Madore | 2023-11-15 | 1 | -0/+36 | |
| | | ||||||
| * | Minor clarification. | David A. Madore | 2023-11-14 | 1 | -2/+3 | |
| | | ||||||
| * | Generalities about polymorphism. | David A. Madore | 2023-11-14 | 1 | -14/+64 | |
| | | ||||||
| * | Basic set of slides on typing. | David A. Madore | 2023-11-14 | 1 | -0/+296 | |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |