Вы здесь
A User s Friendly Syntax to Define Recursive Functions as Typed Lambda-terms
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.83-100
Библиография:
Bibliogr.: p.99-100
Место издания:
Издательство:
Источник:
Том:
996
Карточка:
Б2.1, Б2.23.
Manoury P..
A User s Friendly Syntax to Define Recursive Functions as Typed Lambda-terms-Berlin, Heidelberg.: Springer// Types for Proofs and Programs, 1995.-Vol. 996.-P.83-100-(Lecture Notes in Computer Science).
Bibliogr.: p.99-100
Таблица в старой библиотеке:
PAP13 732