Adding Input-Output to PCF | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

формальный

семантика

ламбда-исчисление

операционный

Стр.:

P.163-175.

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

Bibliogr.: p.174-175.

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

Источник:

Proc. of the CS&P 95 Workshop

Карточка:

Б2.24.

Tiuryn J., Wand M..

Adding Input-Output to PCF-Warsaw.// Proc. of the CS&P 95 Workshop, 1995.-P.163-175.
Bibliogr.: p.174-175.

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

PAP14 233