С.В. Косиков

S.V. Kosikov

1 статья 2024

Информационно-измерительные и управляющие системы 1

2024

Предметно-ориентированные системы типов в формализме Чёрча и Карри Информационно-измерительные и управляющие системы, №5 за 2024 г. С. 39-45