Вы здесь

A Nominal Theory of Objects with Dependent Types

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Ключевые слова: 
Стр.: 
P.201-224
Библиография: 
Bibliogr.: p.222-224
Том: 
2743
Карточка: 

Б2.33.

Odersky M., Cremet V., Rockl C., Zenger M..

A Nominal Theory of Objects with Dependent Types// Lecture Notes in Computer Science-2003.-Vol. 2743.-P.201-224
Bibliogr.: p.222-224

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