The CuCh machine
Curry-Church machine for functional programming
by Corrado Böhm developing team and lambda calculus theorists group.
download CuCh
CuCh genesis and docs , Team
Web site by Luigi Mazzucchelli