https://hal-ens.archives-ouvertes.fr/hal-03316030 Contributeur : UAR 3608 République des savoirsConnectez-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
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⟩