Вы здесь
Inductive, Coinductive, and Pointed Types
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.102-109
Библиография:
Bibliogr.: p.107-109
Источник:
Номер:
6
Том:
31
Карточка:
Б2.33.
Howard B. T..
Inductive, Coinductive, and Pointed Types// SIGPLAN Notices-1996, №6.-Vol. 31.-P.102-109
Bibliogr.: p.107-109
Таблица в старой библиотеке:
ACM4 956