You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Éric Wegrzynowski bcbe5d3293 rédaction partie lambda-calcul (peut-être) terminée 1 week ago
README.md rédaction partie lambda-calcul (peut-être) terminée 1 week ago
lambda_calcul.ipynb rédaction partie lambda-calcul (peut-être) terminée 1 week ago
lambda_calcul.md rédaction partie lambda-calcul (peut-être) terminée 1 week ago
lambda_calcul.py rédaction partie lambda-calcul (peut-être) terminée 1 week ago
tikz_diamant.png rédaction calepin : reste pouvoir expression + partie avec lamba-expression Python 1 week ago
tikz_diamant.tex rédaction calepin : reste pouvoir expression + partie avec lamba-expression Python 1 week ago

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.

TODO

Rédiger le texte de la deuxième partie du calepin.