–
Статьи в журналах
-
- 2015 Формальная модель вычислений с плавающей точкой на основе лямбда-исчисления с зависимыми типами
- Антонов С.В., Кривчиков М.А.
- в журнале Программная инженерия, издательство Новые технологии (Москва), № 9, с. 25-31