Détail de l'auteur
Auteur M. Demazure |
Documents disponibles écrits par cet auteur (1)
![Tris disponibles](./images/orderby_az.gif)
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[...]