|
Titre :
|
Computational category theory
|
|
Auteurs :
|
D. Rydeheard ;
R. Burstall
|
|
Type de document :
|
ouvrage
|
|
Editeur :
|
New York, USA : Prentice Hall, 1988
|
|
Format :
|
257p.
|
|
Langues:
|
= Anglais
|
|
Catégories :
|
INFORMATIQUE-MESURES
|
|
Mots-clés:
|
ALGORITHME
;
ALGEBRE
;
MATHEMATIQUES
|
|
Résumé :
|
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 exemples, et les systèmes pour formaliser les mathématiques sont discutés.
|
