Détail de l'auteur
Auteur R. Burstall |
Documents disponibles écrits par cet auteur (1)
![Tris disponibles](./images/orderby_az.gif)
ouvrage
Cet ouvrage introduit les concepts de base et la construction de la théorie des catégories et ses interprétations en tant que programme de calcul. Les applications de cette théorie dans les programmes de développement sont illustrés par des exem[...]