Basic category theory for computer scientists /

Guardado en:
Detalles Bibliográficos
Autor principal: Pierce, Benjamin C.
Formato: Libro
Lenguaje:Inglés
Publicado: Cambridge, Massachusetts : MIT, 1991
Colección:Foundations of computing series
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00879nam a2200289a 44500
001 UBP01963
003 AR-CdUBP
005 20220310151549.0
008 151212s1991#######|||||||||||||||||eng|d
020 |a 0-262-66071-7 
040 |a AR-CdUBP  |b spa 
041 |a eng 
100 |a Pierce, Benjamin C. 
245 1 0 |a Basic category theory for computer scientists /   |c Benjamin C. Pierce 
260 |a Cambridge, Massachusetts :   |b MIT,   |c 1991 
300 |a xiii, 100 p. ;   |c 25 cm. 
490 0 |a Foundations of computing series 
504 |a Bibliografía: p. 82-90 
505 0 |a 1. Basic constructions. 2. Functors, natural transformations, and adjoints. Applications. 4. Further reading. 
650 4 |a MATEMATICAS 
653 |a INFORMATICA 
930 |a INFORMATICA 
931 |a 01963  |b UBP 
942 |2 cdu  |c BK 
945 |a SMM 
984 |a 004:512.58  |b P611 
999 |c 17578  |d 17578