TD 05 Lambda-calcul
, par
Les supports du cours sont hébergés par Jean-Yves Moyen. La feuille d’exercice sur le lambda-calcul contient un rappel de cours sur une page, qui pourra servir à d’autres étudiants.
, par
Les supports du cours sont hébergés par Jean-Yves Moyen. La feuille d’exercice sur le lambda-calcul contient un rappel de cours sur une page, qui pourra servir à d’autres étudiants.