Вы здесь

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