Corrigés des exercices du chapitre 1 - Xavier Leroy
Exercice 1.6 Cas a = let x = a1 in a2. La seule r`egle qui s'applique est 6, et donc D est de la forme. (D1) ... a1 v. ? v1. (D2) ... a2[x ? v1] v. ? v2 a1 ...
Exercice 1.6 Cas a = let x = a1 in a2. La seule r`egle qui s'applique est 6, et donc D est de la forme. (D1) ... a1 v. ? v1. (D2) ... a2[x ? v1] v. ? v2 a1 ...