| Dernière mise à jour | |||
| Sémantique Opérationnelle | (4up.pdf) | 16/11/09 | |
| Typage monomorphe à la Church | (4up.pdf) | 23/11/09 | |
| Unification | (4up.pdf) | 30/11/09 | |
| Typage monomorphe à la Curry | (4up.pdf) | 30/11/09 | |
| Typage polymorphe | (4up.pdf) | 7/12/09 | |
| Types existentiels | (4up.pdf) | 14/12/09 | |
| Preuve de Programmes | (4up.pdf) | // | |
| Terminaison de Programmes | (4up.pdf) | 4/l/10 |