Вернуться к Подробностям о статье
Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов
Скачать
Скачать PDF