Вы здесь

A Dependently Typed Ambient Calculus

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.171-187
Библиография: 
Bibliogr.: p.187
Том: 
2986
Карточка: 

Б2.4.

Lhoussaine C., Sassone V..

A Dependently Typed Ambient Calculus// Lecture Notes in Computer Science-2004.-Vol. 2986.-P.171-187
Bibliogr.: p.187

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