Categories, Types and Structures. - ENS - École normale supérieure Accéder directement au contenu
Ouvrages Année : 1991

Categories, Types and Structures.

Résumé

Currently out of print and downloadable upon kind permission of the M.I.T. Press. // More information : https://www.di.ens.fr/users/longo/
Fichier principal
Vignette du fichier
2021_08_10_book.pdf (1.6 Mo) Télécharger le fichier
Origine : Accord explicite pour ce dépôt

Dates et versions

hal-03316030 , version 1 (10-08-2021)

Identifiants

  • HAL Id : hal-03316030 , version 1

Citer

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⟩
45 Consultations
138 Téléchargements

Partager

Gmail Facebook X LinkedIn More