Quelques essais autour du 𝜆-calcul

Fichiers :

• lambda_calcul.py module Python permettant de représenter des 𝜆-termes et de les réduire.
• lambda_calcul.ipynb calepin Jupyter décrivant et illustrant ce qu'est le 𝜆-calcul.
• lambda_calcul.md version Markdown du calepin précédent.

Prérequis

• Tout ce travail a été réalisé avec Python 3.7.3 et Jupyter 6.1.
• L'utilisation du module lambda_calcul.py nécessite le module sly.

Licence

Tous les documents se trouvent ici avec la licence .