Categories, Types and Structures.

Andrea Asperti; Giuseppe Longo

Ouvrage (y compris édition critique et traduction)

Categories, Types and Structures.: An Introduction to Category Theory for the working computer scientist

Andrea Asperti Giuseppe Longo ^{1, 2, 3}

1 CNRS - Centre National de la Recherche Scientifique

2 ENS Paris - École normale supérieure - Paris

3 LIENS - Laboratoire d'informatique de l'école normale supérieure

Abstract : Currently out of print and downloadable upon kind permission of the M.I.T. Press. // More information : https://www.di.ens.fr/users/longo/

Type de document :

Ouvrage (y compris édition critique et traduction)

Domaine :

Informatique [cs]

Mathématiques [math]

Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03316030
Contributeur : Usr 3608 République Des Savoirs <>
Soumis le : mardi 10 août 2021 - 15:42:14
Dernière modification le : mercredi 11 août 2021 - 09:04:48

Categories, Types and Structures.: An Introduction to Category Theory for the working computer scientist

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

13

9

Categories, Types and Structures.: An Introduction to Category Theory for the working computer scientist

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

13

9