Вы здесь
On the Interpretation of Type Theory in Locally Cartesian Closed Categories
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Стр.:
P.427-441
Библиография:
Bibliogr.: p.441
Место издания:
Издательство:
Источник:
Том:
933
Карточка:
Б2.11.
Hoffmann M..
On the Interpretation of Type Theory in Locally Cartesian Closed Categories-Berlin, Heidelberg.: Springer// Computer Science Logic, 1995.-Vol. 933.-P.427-441-(Lecture Notes in Computer Science).
Bibliogr.: p.441
Таблица в старой библиотеке:
PAP12 998