summaryrefslogtreecommitdiffstats
path: root/transp-inf110-02-typage.tex
Commit message (Expand)AuthorAgeFilesLines
* A (humorous) graphical representation of the Curry-Howard correspondence.David A. Madore2023-11-241-4/+27
* Graphical representation of typing rules.David A. Madore2023-11-221-8/+35
* Brief summary of Tait's proof of normalization of the STLC.David A. Madore2023-11-221-5/+42
* Clarification on how to read a derivation tree.David A. Madore2023-11-221-0/+8
* Give some examples of terms and types in the STLC before formalizing.David A. Madore2023-11-221-4/+44
* A first taste of the Curry-Howard correspondence.David A. Madore2023-11-221-1/+34
* Beta-reduction and strong normalization (to be continued).David A. Madore2023-11-161-0/+41
* More properties of typing, incl. the substitution lemma.David A. Madore2023-11-161-6/+97
* Some properties of derivation in simply-typed lambda-calculus.David A. Madore2023-11-161-0/+111
* Give an example of a fully written out derivation tree.David A. Madore2023-11-151-0/+39
* Rules of the simply-typed lambda-calculus.David A. Madore2023-11-151-3/+122
* Various curiosities.David A. Madore2023-11-151-3/+32
* Type systems for logic.David A. Madore2023-11-151-1/+67
* Curry's paradox (an interlude).David A. Madore2023-11-151-0/+88
* Typing and termination.David A. Madore2023-11-151-0/+41
* Tasks in a typing system.David A. Madore2023-11-151-1/+45
* More examples of languages with interesting type systems.David A. Madore2023-11-151-4/+47
* Use of typing systems beyond value control.David A. Madore2023-11-151-0/+36
* Minor clarification.David A. Madore2023-11-141-2/+3
* Generalities about polymorphism.David A. Madore2023-11-141-14/+64
* Basic set of slides on typing.David A. Madore2023-11-141-0/+296
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-22 22:36:21 +0000