| 165 | -- | 178 | Robin Cooper, Christian Retoré. An outline of type-theoretical approaches to lexical semantics |
| 179 | -- | 227 | Justyna Grudzinska, Marek W. Zawadowski. Scope ambiguities, monads and strengths |
| 229 | -- | 272 | Stergios Chatzikyriakidis, Mathieu Lafourcade, Lionel Ramadier, Manel Zarrouk. Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems |
| 273 | -- | 301 | Simon Dobnik, Robin Cooper. Interfacing language, spatial perception and cognition in Type Theory with Records |
| 303 | -- | 356 | Peter R. Sutton, Hana Filip. Individuation, reliability, and the mass/count distinction |
| 357 | -- | 383 | Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla. Quantification in frame semantics with binders and nominals of hybrid logic |
| 385 | -- | 420 | Ribeka Tanaka, Koji Mineshima, Daisuke Bekki. Factivity and presupposition in Dependent Type Semantics |