From a Concurrent Lambda-Calculus to the Pi-Calculus | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

семантика

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

параллельный

Стр.:

P.106-115

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

Bibliogr.: p.115

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

Издательство:

Серия:

Lecture Notes in Computer Science

Источник:

Fundamentals of Computation Theory

Том:

965

Карточка:

Б2.1, Б2.42.

Amadio R. M., Leth L., Thomssen B..

From a Concurrent Lambda-Calculus to the Pi-Calculus-Berlin, Heidelberg.: Springer// Fundamentals of Computation Theory, 1995.-Vol. 965.-P.106-115-(Lecture Notes in Computer Science).
Bibliogr.: p.115

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

PAP13 251