ericw
/
Lambda_Calcul
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
10 Commits 1 Branch 0 Tags 105 KiB
Jupyter Notebook 94.1%
Python 5.6%
TeX 0.3%
Go to file
Éric Wegrzynowski 8f47a4e8e6 Ajout Licence 2022-02-27 09:30:45 +01:00
README.md Ajout Licence 2022-02-27 09:30:45 +01:00
lambda_calcul.ipynb rédaction partie lambda-calcul (peut-être) terminée 2021-02-15 11:36:54 +01:00
lambda_calcul.md rédaction partie lambda-calcul (peut-être) terminée 2021-02-15 11:36:54 +01:00
lambda_calcul.py rédaction partie lambda-calcul (peut-être) terminée 2021-02-15 11:36:54 +01:00
tikz_diamant.png rédaction calepin : reste pouvoir expression + partie avec lamba-expression Python 2021-02-11 13:30:06 +01:00
tikz_diamant.tex rédaction calepin : reste pouvoir expression + partie avec lamba-expression Python 2021-02-11 13:30:06 +01:00

README.md

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 Creative Commons CC BY.