Вы здесь

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.129-149.
Библиография: 
Bibliogr.: p.147-149
Издательство: 
Том: 
1258
Карточка: 

Б2.11, Б2.13.

Fiore M. P., Plotkin G. D..

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory: Springer// Lecture Notes in Computer Science-1997.-Vol. 1258.-P.129-149.
Bibliogr.: p.147-149

Таблица в старой библиотеке: 
PAP16 557