Pricipals in Programming Languages: A Syntactic Proof Technique

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1999

Стр.:

P.197-207.

Библиография:

Bibliogr.: p.206-207

Источник:

Номер:

Том:

Карточка:

Б3.14, Б2.33.

Zdancewic S., Grossman D., Morrisett G..

Pricipals in Programming Languages: A Syntactic Proof Technique// SIGPLAN Notices-1999, №9.-Vol. 34.-P.197-207.
Bibliogr.: p.206-207

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

ACM6 134