![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ST12-Current_Issues.pdf | 2022-09-15 10:39 | 9.4M | |
| ST11-DFS2_Incrementality.pdf | 2022-09-15 10:39 | 11M | |
| ST10-DFS1_Representations.pdf | 2022-09-15 10:39 | 9.5M | |
| ST09-Presupposition.pdf | 2022-09-15 10:39 | 2.4M | |
| ST08-DRT.pdf | 2022-09-15 10:39 | 670K | |
| ST07-Dynamic.pdf | 2022-09-15 10:39 | 1.9M | |
| ST06-Quantifiers.pdf | 2022-09-15 10:39 | 2.1M | |
| ST05-Events.pdf | 2022-09-15 10:39 | 784K | |
| ST04-LexSem.pdf | 2022-09-15 10:39 | 266K | |
| ST03-LambdaCalculus.pdf | 2022-09-15 10:39 | 345K | |
| ST02-Type_Theory.pdf | 2022-09-15 10:39 | 1.6M | |
| ST01-Predicate_Logic.pdf | 2022-09-15 10:39 | 6.0M | |
| ST00-Introduction.pdf | 2022-09-15 10:39 | 4.0M | |