A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

De Guzman I. P.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

алгебраический

преобразование

функциональный

программа

категория

Стр.:

P.61-78.

Библиография:

Bibliogr.: p.78.

Источник:

Acta Informatica

Номер:

1

Том:

32

Карточка:

Б3.21.

De Guzman I. P., Ojeda M., Valverde A..

A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories// Acta Informatica-1995, №1.-Vol. 32.-P.61-78.
Bibliogr.: p.78.

Таблица в старой библиотеке:

PAP11 76