Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

семантика

вычисление

категория

Стр.:

P.239-264.

Реферат:

Некоторые основные алгебраические средства для семантики вычислений: часть 3. Индексные категории.

Источник:

Theoretical Computer Science

Номер:

2

Том:

91

Карточка:

Б2.24.

Tarlecki A., Burstall R., Goguen J..

Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories// Theoretical Computer Science-1991, №2.-Vol. 91.-P.239-264.

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

PAP2 890