Un exemple d'explication de preuve formelle en langue naturelle

1. Introduction
2. Le lambda-terme
3. Une première tentative
4. Le texte brut
5. La compaction des fonctions
6. La compaction des applications
7. La compaction des identificateurs
8. Le texte compacté
9. Le texte compacté complet
10. Le texte final
11. Conclusion

Yann Coscoy