Constructive Data Refinement in Typed Lambda Calculus

Вы здесь

Автор:

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

Вид:

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

Год:

2000

Стр.:

P.161-176.

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

Bibliogr.: p.175-176

Источник:

Том:

1784

Карточка:

Б2.2, Б2.14.

Honsell F., Longley J., Sannella D., Tarlecki A..

Constructive Data Refinement in Typed Lambda Calculus// Lecture Notes in Computer Science-2000.-Vol. 1784.-P.161-176.
Bibliogr.: p.175-176

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

PAP21 256