Вид документа : Однотомное издание Шифр издания : 467102 512.84/V38 Автор(ы) : Vene, Varmo Заглавие : Categorical Programming with Inductive and Coinductive Types : Dis. for the Degree of Dr of Philosophy Выходные данные : Tartu: Univ. Press, 2000 Колич.характеристики :116, [2] p. Серия: Dissertationes Mathematicae Univ. Tartuensis; 23 Примечания : Bibliogr. - Рез. на эстон. яз. ISBN, Цена 9985-56-514-2: Б.ц. УДК : 512.58(043.3) Предметные рубрики: математика-- алгебра Ключевые слова (''Своб.индексиров.''): категории--морфизмы категорий--рекурсия--программирование Экземпляры :ОХФ(1) Свободны : ОХФ(1) |