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 : 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

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

13

Téléchargements de fichiers

9