Вы здесь

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