docUn Lambda-Calcul Atomique
download 
Plainte Documents pareils
HE02 - Dossier, Le lambda calcul
1. l'opération d'application, consistant à appliquer une formule f à une formule x, noté f(x).
2. l'opération d'abstraction, qui consiste à baptiser une formule construite, noté λxf(x).
3. l'opérat...
Cours de Lambda-calcul - Laboratoire d`Informatique de Paris 6
Pour retrouver une notion de fonction plus proche de celle de la théorie classique des ensembles,
il faut restreindre les règles de formation des termes, de façon à interdire l’application d’un...
