Monadic Presentations of Lambda Terms Using Generalized Inductive Types

Вы здесь

Автор:

Altenkirch T.

Reus B.

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

Вид:

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

Год:

1999

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

тип

теория

Стр.:

P.453-468.

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

Bibliogr.: p.467-468

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

1683

Карточка:

Б2.14.

Altenkirch T., Reus B..

Monadic Presentations of Lambda Terms Using Generalized Inductive Types: Springer// Lecture Notes in Computer Science-1999.-Vol. 1683.-P.453-468.
Bibliogr.: p.467-468

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

PAP20 519