Présentation de la logique combinatoire développée par Curry et de son utilisation pour fournir des fondements logiques aux langages de programmation fonctionnels. Les auteurs expliquent que la logique combinatoire, contrairement au lambda-calcul, ne fait pas appel aux variables liées mais prend la notion d'opérateur comme première et qu'elle est de ce fait plus simple. ©Electre 2025
Paru le : 17/02/2016
Thématique : Informatique Etudiant
Auteur(s) : Auteur : Jean-Pierre Desclés Auteur : Gaëll Guibert Auteur : Benoît Sauzay
Éditeur(s) :
Cépaduès
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : 978-2-36493-530-3
EAN13 : 9782364935303
Reliure : Broché
Pages : 267
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.4 cm
Poids: 475 g
Carte fidélité
Mollat Radio
