docLambda-calcul pur
download 
Plainte Documents pareils
Cours de Lambda-calcul - Laboratoire d`Informatique de Paris 6
fonction de A dans A, ne peut pas être appliquée à elle-même, puisqu’elle appartient à l’ensemble
AA , disjoint de A). La notion fondamentale qui sous-tend le λ-calcul pur n’est pas celle d’en...
Lambda-calcul le
Le λ-calcul est un formalisme introduit par Church pour traduire l'aspect mécanique de l'évaluation
dans les langages applicatifs (ou fonctionnels) notamment le traitement de la récursivité.
Au min...
