Lambda Calculus and Lambda Calculators (implementation)
http://okmij.org/ftp/Computation/lambda-calc.html
Type system
The Lambda-calculus, Combinatory Logic, and Type Systems
Комбинаторы - это просто!
Практика функционального программирования
Выпуск 1, 2009
http://www.scribd.com/doc/44147436/Functional-Programming-Russian
Lambda in short
From: http://thesz.livejournal.comКоротко и неформально.
Лямбда-исчисление - это правила построения и вычисления безымянных функций.
И перейдем сразу к примерам.
...