| 1.17 | Advanced complexity | French |
|---|---|---|
| 1.18 | Tree automata and applications | French |
| 1.20 | Lambda-calculi and domains | French |
| 1.33 | Rewriting techniques | French |
| 2.2 | Models of programming languages: domains, categories, games | Some French |
|---|---|---|
| 2.13.2 | Error-correcting codes and applications to cryptography | French |
| 2.16 | Finite automata modelling | |
| 2.27.1 | Computational structures and logics for natural language modelling | |
| 2.30 | Proof of security protocols | Some English |
| 2.34.1 | Quantum information |