Bonjour tout le monde.
Je suis en train de lire un cours sur le lambda calcul, et j aurais quelques questions.
En exercice dans ce cours il y a la question suivante:
les ensembles FV(a) et BV(a) sont ils toujours disjoints?
FV c est l ensemble des variables libres et BV des variables liees, a etant le corps d une fonction.
La reponse sous entendue est non.
Peut on se servir du fait que des variables liees peuvent avoir le meme nom que des variables libres dans a?
Il faut donner des exemples tels cas.
Voila, merci beaucoup par avance.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :