Programmation Avancée Partiel mai 2015 : corrigé succinct - LIPN
Exercice 1 : ?-calcul (3 pts). 1/ Dessiner l'arbre syntaxique du terme u = ?xy.x. La variable x est-elle libre ou liée dans u ?Télécharger Programmation Avancée Partiel mai 2015 : corrigé succinct - LIPN pdf