Typed Lambda Calculi and Applications

Proceedings

44682

Издателство

Springer

Местоиздаване

Berlin etc.

Година на издаване

1995

Страници

442 p. il.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

ISBN

3-540-59048-X

Отрасъл

Математика

Системен №

13249

Допълнителна сигнатура

T 99

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Виж още

(1993)

Typed Lambda Calculi and Applications. Berlin etc.: Springer, 1995 442 p. il. 3-540-59048-X.

(1995) Typed Lambda Calculi and Applications, Berlin etc.: Springer 442 p. il. 3-540-59048-X.

(1995). Typed Lambda Calculi and Applications. Proceedings. Berlin etc.: Springer, 442 p. il.

Typed Lambda Calculi and Applications: Proceedings. Berlin etc.: Springer; 1995. p. 442 p. il. ISBN: 3-540-59048-X.