![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ST03-LambdaCalculus.pdf | 2022-06-28 13:57 | 250K | |
| ST08-DRT.pdf | 2022-06-28 13:57 | 662K | |
| ST05-Events.pdf | 2022-06-28 13:57 | 692K | |
| ST09-Presupposition.pdf | 2022-06-28 13:57 | 1.3M | |
| ST02-Type_Theory.pdf | 2022-06-28 13:57 | 1.5M | |
| ST06-Quantifiers.pdf | 2022-06-28 13:57 | 1.8M | |
| ST07-Dynamic.pdf | 2022-06-28 13:57 | 1.9M | |
| ST01-Predicate_Logic.pdf | 2022-06-28 13:57 | 2.1M | |
| ST00-Introduction.pdf | 2022-06-28 13:57 | 3.9M | |
| ST11-Current_Issues.pdf | 2022-06-28 13:57 | 4.8M | |
| ST10-DFS1_Representations.pdf | 2022-06-28 13:57 | 8.4M | |
| ST10-DFS2_Incrementality.pdf | 2022-06-28 13:57 | 11M | |