Чистое лямбда-исчисление (определение, правила вывода, редексы, порядок редукций).

  -это исчисление анонимных функций, в нем отсутствуют константы, структуры данных и управляющие предложения. Но все эти возм-ти можно определить, используя l-выражения. Синтаксис: <выр>::+<ид>