Pr869 Pr869/389 Pr869/389 / Pr869/389-02 Category theory and computer science : manchester, UK, Sept. 5-8, 1989. Proc. / Ed. by D.H. Pitt a. o. - Berlin [et al.] : Springer, 1989. - VI,365 p. : Ill. - (Lecture notes in computer science ; 389). - Bibliogr. at the end of the art Перевод заглавия: Теория категорий и вычислительная наука Рубрики: Программное обеспечение--ЭВМ Категории--Алгебра Кл.слова (ненормированные): логика программ -- языки программирования -- теория категорий Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |