На основе статьи Andre van Meulebrouck, Lambda Calculus, MacTech, vol.7/5.
Как реализовать вычисление в лямбда-термах через примитивы Коммон Лисп? Функциональные языки - клоны ML - ближе к лямбда-исчислению.