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