Кудрявцева И. Полиморфная система типов λ2 в содержании обучения теоретическому программированию // Известия Российского государственного педагогического университета им. А.И. Герцена. 2016 №179. С.159-168.