Вы здесь
Pure Type Systems with de Bruijn Indices
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Стр.:
P.187-201
Библиография:
Bibliogr.: p.201
Источник:
Номер:
2
Том:
45
Карточка:
Б2.11.
Kamareddine F., Rios A..
Pure Type Systems with de Bruijn Indices// The Computer J.-2002, №2.-Vol. 45.-P.187-201
Bibliogr.: p.201
Таблица в старой библиотеке:
PAP24 793