Codifying guarded definitions with recursive schemes | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

рекурсивный

Стр.:

P.39-59

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

Bibliogr.: p.59

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Types for Proofs and Programs

Том:

996

Карточка:

Б2.11.

Gimenez E..

Codifying guarded definitions with recursive schemes-Berlin, Heidelberg.: Springer// Types for Proofs and Programs, 1995.-Vol. 996.-P.39-59-(Lecture Notes in Computer Science).
Bibliogr.: p.59

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

PAP13 730