Détail de l'auteur
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
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[...]
