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