Categories, Types and Structures.

Andrea Asperti , Giuseppe Longo (1, 2, 3)

1 CNRS - Centre National de la Recherche Scientifique
2 ENS-PSL - École normale supérieure - Paris
3 LIENS - Laboratoire d'informatique de l'école normale supérieure

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

Domaines: Informatique [cs]; Mathématiques [math]

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⟩