Categories, Types and Structures.

Ouvrages Année : 1991

, (1, 2, 3)

1
2
3

Andrea Asperti

Giuseppe Longo

Centre National de la Recherche Scientifique

École normale supérieure - Paris

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

Informatique [cs] Mathématiques [math]

Fichier principal

2021_08_10_book.pdf (1.6 Mo)

Origine	Accord explicite pour ce dépôt

https://ens.hal.science/hal-03316030

Soumis le : mardi 10 août 2021-15:42:14

Dernière modification le : lundi 9 décembre 2024-15:32:38

Archivage à long terme le : jeudi 11 novembre 2021-18:10:34

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

Andrea Asperti, Giuseppe Longo. Categories, Types and Structures.. MIT Press, pp.1-300, 1991, 0262011255, 978-0262011259. ⟨hal-03316030⟩

ENS-PARIS CNRS INRIA PSL

60 Consultations

369 Téléchargements