Note :
Ce livre est une référence très appréciée sur le lambda calcul, particulièrement adaptée aux professionnels et aux universitaires. Il est complet et bien écrit, mais présente d'importants problèmes d'accessibilité et de qualité de traduction.
Avantages:⬤ Traitement complet et approfondi du lambda calcul
⬤ bien adapté aux professionnels et aux étudiants sérieux
⬤ sert de manuel dans les cours de niveau supérieur
⬤ considéré comme un ouvrage classique dans le domaine.
⬤ Difficile à lire et à comprendre, en particulier pour ceux qui n'ont pas de solides connaissances en mathématiques
⬤ mauvaise qualité de traduction avec de nombreuses erreurs
⬤ pas idéal pour les programmeurs ou ceux qui recherchent des applications pratiques.
(basé sur 8 avis de lecteurs)
The Lambda Calculus. Its Syntax and Semantics
Le calcul lambda, traité dans ce livre principalement dans sa version non typée, consiste en une collection d'expressions, appelées termes lambda, ainsi que des moyens de les réécrire et de les identifier. Dans les parties relatives à la conversion, à la réduction, aux théories et aux modèles, le point de vue est respectivement "algébrique", computationnel, avec davantage d'identifications ("coïnductives"), et enfin en théorie des ensembles.
Les termes lambda sont construits à partir de variables, en utilisant l'application et l'abstraction. L'application d'un terme F à M a pour intention que F soit une fonction, M son argument et FM le résultat de l'application. Ce n'est que l'intention : pour obtenir le résultat, il faut réécrire l'expression FM selon les règles de réduction.
L'abstraction permet de créer des fonctions en fonction de l'effet produit par leur application. La puissance de la théorie vient du fait que les calculs, qu'ils soient terminés ou infinis, peuvent être exprimés par des termes lambda à un niveau d'abstraction "confortable".
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)