Type checking with universes

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.107-136.

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

Bibliogr.: p.135-136

Источник:

Номер:

Том:

Карточка:

Б2.33, Б2.11.

Harper R., Pollack R..

Type checking with universes// Theoretical Computer Science-1991, №1.-Vol. 89.-P.107-136.
Bibliogr.: p.135-136

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

PAP2 806