Initiation `a la programmation en C Correction du TP n
Page 3. Exercice 3. Proof var(M{x := N}) ? (var(M) ? {x}) ? var(N). Lemma. By structural induction on M. Let write lhs = var(M{x := N}) and rhs = (var(M) ...
Page 3. Exercice 3. Proof var(M{x := N}) ? (var(M) ? {x}) ? var(N). Lemma. By structural induction on M. Let write lhs = var(M{x := N}) and rhs = (var(M) ...