The Category-Theoretic Solution of Recursive Domain Equations

Вы здесь

Автор:

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

Колл. автор:

Вид:

Препринт

Год:

1982

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

Стр.:

34 p.

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

Bibliogr.: p.32-34

Место издания:

Номер:

CSR-102-82

Карточка:

Б2.24.

Smyth M. B., Plotkin G. D..

The Category-Theoretic Solution of Recursive Domain Equations-Edinburgh., 1982.-34 p.-(Препринт Univ.Edinburgh №CSR-102-82).
Bibliogr.: p.32-34

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

PREP2 954