| 511 | -- | 512 | Mário Florido, Ian Mackie. Linearity in Computation |
| 513 | -- | 529 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. Linearity: A Roadmap |
| 531 | -- | 556 | Edsko de Vries, Adrian Francalanza, Matthew Hennessy. Uniqueness typing for resource management in message-passing concurrency |
| 557 | -- | 589 | Marco Gaboardi, Mauro Piccolo. What is a model for a semantically linear λ-calculus? |
| 591 | -- | 613 | Maribel Fernández, Nikolaos Siafakas. Labelled calculi of resources |
| 615 | -- | 654 | Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson. The enriched effect calculus: syntax and semantics |
| 655 | -- | 685 | Paolo Torrini. Linear Types and Locality |