Semantics of the Typed lambda-calculus with Substitution in a Cartesian Closed Category | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1990

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

семантика

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

подстановка

Стр.:

17 p.

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

Номер:

RR N 1261

Карточка:

Б2.24.

Gray J..

Semantics of the Typed lambda-calculus with Substitution in a Cartesian Closed Category-Rocquencourt., 1990.-17 p.-(Препринт INRIA №RR N 1261).

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

PREP1 191