Types for the Ambient Calculus

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

177

Рік:

2002

Мова:

english

Сторінки:

DOI:

10.1006/inco.2001.3121

Файл:

PDF, 245 KB

english, 2002

Виконується конвертація в

Конвертація в не вдалась