TY  - BOOK
AU  - Gray, John W
ED  - AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
TI  - Categories in computer science and logic: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation 
SN  - 0-8218-5100-4
AV  - QA 76.9.M35 A47
PY  - 1989///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Procesamiento electrónico de datos
KW  - Matemáticas -
KW  - Congresos
KW  - Categorías (Matemáticas)
N1  - Incluye bibliografía después de cada capítulo
ER  -