A Lambda-calculus a la de Bruijn with explicit substitutions | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

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

Стр.:

P.45-62

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

Bibliogr.: p.59-60

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Programming Languages: Implementations, Logics and Programs

Том:

982

Карточка:

Б2.14.

Kamareddine F., Rios A..

A Lambda-calculus a la de Bruijn with explicit substitutions-Berlin, Heidelberg.: Springer// Programming Languages: Implementations, Logics and Programs, 1995.-Vol. 982.-P.45-62-(Lecture Notes in Computer Science).
Bibliogr.: p.59-60

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

PAP13 548