Какая алгоритмическая модель лежит в основе функционального программирования?
Какая алгоритмическая модель лежит в основе императивного программирования?
Как определяются значения логического типа при формальном построении языка функционального программирования?
В чем преимущества лямбда-исчисления как модели вычислений?
Какие есть основные модели вычислений?
В динамических языках программирования:
В чем отличия фунционального программирования и императивного?
Что такое пропозициональная семантика языка программирования?
Что такое денотационная семантика языка программирования?
Что такое операционная семантика языка программирования?