660 B

Raw Permalink Blame History

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 .