Новые поступления (книга в стадии обработки) Vene, Varmo. Categorical Programming with Inductive and Coinductive Types [Текст] : dis. for the Degree of Dr of Philosophy / Varmo Vene. - Tartu : Univ. Press, 2000. - 116, [2] p. - (Dissertationes Mathematicae Univ. Tartuensis ; 23). - Bibliogr. - ISBN 9985-56-514-2 : Б. ц. Рез. на эстон. яз.
Рубрики: математика--алгебра Кл.слова (ненормированные): категории -- морфизмы категорий -- рекурсия -- программирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |