Предметно-ориентированные языки с заданной формальной семантикой на основе лямбда-исчисления с зависимыми типамитезисы доклада

Работа с тезисами доклада


[1] Васенин В. А., Кривчиков М. А. Предметно-ориентированные языки с заданной формальной семантикой на основе лямбда-исчисления с зависимыми типами // Международная конференция “Мальцевские чтения”. Тезисы докладов. — Новосибирск, 2014. — С. 25–25.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть