@article{Кудрявцева2023-07-10,
author = {И. Кудрявцева},
title = {Полиморфная система типов λ2 в содержании обучения теоретическому программированию},
year = {2016},
publisher = {NP «NEICON»},
abstract = {Автором проведён логико-семиотический анализ содержания одного из разделов обучения теоретическому программированию «полиморфная система типов λ2» (демонстрирующая зависимость термов от типов). Построена сводная таблица о разрешимости (наличия алгоритма решения) классических задач системы λ2 в слабом и сильном полиморфизме произвольного ранга, а также в слабом полиморфизме с let-правилом в стиле Карри и в стиле Чёрча. В результате сформулированы компетенции, приобретаемые обучаемыми по итогам изучения полиморфной системы типов λ2.},
URL = {https://rep.herzen.spb.ru/publication/2119},
journal = {Известия Российского государственного педагогического университета им. А.И. Герцена},
}