| Dernière mise à jour | |||
| Lambda and Lambdas | (Fichier Pdf) | 3/10/01 | |
| Lambdas and MELL Proof-Nets | (Fichier Pdf) | 6/10/01 | |
| Reduction System for MELL Proof-Nets | (Fichier Pdf) | 6/10/01 | |
| Translating Typed Lambdas to MELL Proof-Nets | (Fichier Pdf) | 6/10/01 | |
| Lambdalxr | (Fichier Pdf) | 31/10/11 | |
| SC and MJ Calculi | (Fichier Pdf) | // | |
| Advanced Topics | (Fichier Pdf) | // |