Accéder directement au contenu Accéder directement à la navigation
Ouvrage (y compris édition critique et traduction)

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

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)
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03316030
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : mardi 10 août 2021 - 15:42:14
Dernière modification le : jeudi 17 mars 2022 - 10:08:42
Archivage à long terme le : : jeudi 11 novembre 2021 - 18:10:34

Fichier

2021_08_10_book.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : hal-03316030, version 1

Collections

Citation

Andrea Asperti, Giuseppe Longo. Categories, Types and Structures.: An Introduction to Category Theory for the working computer scientist. MIT Press, pp.1-300, 1991, 0262011255, 978-0262011259. ⟨hal-03316030⟩

Partager

Métriques

Consultations de la notice

24

Téléchargements de fichiers

16