1 résultat trouvé
Revenir à la recherche avancée
Lambda calcul et point fixe
Bonjour et bonne année 2021 (meilleure que la précédente!) Je suis novice en \lambda -calcul et je rame un peu (beaucoup)... Il existe un théorème du point fixe: " il existe un combinateur \mathbf{Y} tel que \mathbf{Y}x \underset{\beta}{=} x(\mathbf{Y}x) " Admettons. Il en découle ...
- 05 Jan 2021, 17:29
- Forum: ϟ Informatique
- Sujet: Lambda calcul et point fixe
- Réponses: 0
- Vues: 632
- 1 résultat trouvé - Page 1 sur 1
Tu pars déja ?
Fais toi aider gratuitement sur Maths-forum !
Créé un compte en 1 minute et pose ta question dans le forum ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :