Co-induction in Relational Semantics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1989

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

семантика

реляционный

язык программирования

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

Стр.:

13 p.

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

Bibliogr.: p.13

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

Номер:

LFCS 88-65

Карточка:

Б2.24.

Milner R., Tofte M..

Co-induction in Relational Semantics-Edinburgh., 1989.-13 p.-(Препринт Univ.Edinburgh №LFCS 88-65).
Bibliogr.: p.13

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

PREP1 30