the CuCh legacy

The idea of a language that includes Curry combinators and Church lambda calculus was first

presented in the paper of Corrado Böhm and Wolf Gross  ”Introduction to the CuCh” in Automata Theory

ed. Caianiello, Ass.Press (1966).  

Historically, the first published paper - in Italian - was the "Il CuCh quale linguaggio formale e di descrizione", Mario Bulzoni editore Roma 1964 (Biblioteca Nazionale).

An algorithm that allows the reduction of any CuCh term

to normal form is elucidated in a paper of Böhm and Dezani ”The CuCh machine: The

automatic treatment of bound variables” IJCIS (June 1972 and June 73).

After the celebrated CuCh devised with Wolf Gross (1966), in the late 80s Corrado

Böhm undertook the project of realizing a new CuCh Machine. Several students of Corrado

helped him in this project, in particular Stefano Guerrini and Luigi

Mazzucchelli and other researchers.

Historical note: In the Italian language, there is a substantial difference between ”Il” CuCh and ”La" CuCh i.e. the CuCh as a formal and description language and the CuCh-machine as a application, calculator, a functional programming system and a normal form reducer.