Détail de l'auteur
Auteur R. Lalement |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
ouvrage
Ce livre présente deux paradigmes de calcul sous l'angle de la logique. La réduction, étudiée à travers le lambda-calcul et les systèmes de réécriture, est à la base de la programmation fonctionnelle, où la notion de type et les propriétés de co[...]