2021-01-29 17:11:07 +01:00
|
|
|
# Quelques essais autour du 𝜆-calcul
|
|
|
|
|
|
2021-02-15 11:36:54 +01:00
|
|
|
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`](https://github.com/dabeaz/sly).
|
|
|
|
|
|
2022-02-27 09:30:45 +01:00
|
|
|
# Licence
|
|
|
|
|
|
|
|
|
|
Tous les documents se trouvent ici avec la licence
|
|
|
|
|
[](https://creativecommons.org/licenses/by/4.0/deed.fr).
|
