Vai al contenuto principale della pagina
Autore: |
Asperti, Andrea
![]() |
Titolo: |
Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist / Andrea Asperti, Giuseppe Longo
![]() |
Pubblicazione: | Cambridge [Mass.] [etc.] : The MIT Press, 1991 |
Disciplina: | 510.78 |
Soggetto non controllato: | Teoria della programmazione e utilizzazione dei computers |
Software | |
Persona (resp. second.): | Longo, Giuseppe |
Note generali: | Includes bibliographical references |
Titolo autorizzato: | Categories, Types, and Structures ![]() |
ISBN: | 0-262-01125-5 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990001113660403321 |
Lo trovi qui: | Univ. Federico II |
Collocazione: | 8B-285 |
Opac: | Controlla la disponibilità qui |