(Page 19)
A la page 19, la définition de $\beta _0$ nécessité du travail non négligeable pour montrer qu'elle définit bien quelque chose.
Et le lemme 1.14 qui est cité n'a absolument pas pour conséquence que $\beta _0$ est décroissant pour l'inclusion des ensembles de variables libres.
Aussi la définition de la beta-conversion est erronée.
Le pdf était trop gros, donc il n'est pas passé, je poste ici un lien vers le pdf:
https:** lien supprimé**
Euler361, bonjour
il me semble que tu as tout faux...
pas de bonjour
profil : terminale
forum choisi : master
et en prime un lien vers un bouquin dont le téléchargement est interdit...
bon ...au final, une belle marge de progrès
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :