17 Кудрявцева Ирина Андреевна theoretical programming λ-cube polymorphic type system Curry-Howard isomorphism intuitionistic propositional logic of the second order (Prop 2) теоретическое программирование λ-куб полиморфная система типов изоморфизм Карри-Говарда интуиционистская пропозициональная логика второго порядка (Prop2) 2016 2023-07-10 Известия Российского государственного педагогического университета им. А.И. Герцена Автором проведён логико-семиотический анализ содержания одного из разделов обучения теоретическому программированию «полиморфная система типов λ2» (демонстрирующая зависимость термов от типов). Построена сводная таблица о разрешимости (наличия алгоритма решения) классических задач системы λ2 в слабом и сильном полиморфизме произвольного ранга, а также в слабом полиморфизме с let-правилом в стиле Карри и в стиле Чёрча. В результате сформулированы компетенции, приобретаемые обучаемыми по итогам изучения полиморфной системы типов λ2. https://rgpu.elpub.ru/publication/2119