Информационные технологии

Определение и вычисление функций в языке Лисп основано на:

лямбда-исчислении Черча