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