Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | 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 |