A Semantic Characterization of the Well-Typed Formulae of -Calculus

Вы здесь

Автор:

Forster T.

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

Вид:

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

Год:

1993

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

семантика

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

модель

Стр.:

P.405-418.

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

Bibliogr.: p.418.

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

Springer

Источник:

Theoretical Computer Science

Номер:

Том:

110

Карточка:

Б2.14, Б2.24.

Forster T..

A Semantic Characterization of the Well-Typed Formulae of -Calculus: Springer// Theoretical Computer Science-1993, №2.-Vol. 110.-P.405-418.
Bibliogr.: p.418.

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

PAP5 611