![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ST04-LambdaCalculus.pdf | 2020-02-21 14:21 | 111K | |
| ST08-DRT.pdf | 2020-02-21 14:21 | 216K | |
| ST01-Predicate_Logic.pdf | 2020-02-21 14:21 | 338K | |
| ST09-Presuppositions.pdf | 2020-02-21 14:21 | 884K | |
| ST06-Events.pdf | 2020-02-21 14:21 | 1.0M | |
| ST02-Type_Theory.pdf | 2020-02-21 14:21 | 1.0M | |
| ST05-Quantifiers.pdf | 2020-02-21 14:21 | 1.4M | |
| ST07-Dynamic.pdf | 2020-02-21 14:21 | 1.6M | |
| ST00-Introduction.pdf | 2020-02-21 14:21 | 3.9M | |
| ST10-DFS1_Representations.pdf | 2020-02-21 14:21 | 6.1M | |
| ST12-Current_Issues.pdf | 2020-02-21 14:21 | 8.4M | |
| ST11-DFS2_Incrementality.pdf | 2020-02-21 14:21 | 16M | |