The CuCh Machine

The Boehm CuCh adalah sistem pemrograman interaktif yang kecil namun kuat, yang dapat berfungsi sebagai:
(1) kalkulator yang dapat diprogram secara logis dan aritmatika
(2) sistem pemrograman fungsional
(3) benda CuCh bentuk normal peredam

Mesin CuCh mewakili:
- Kerangka formal untuk sintesis kari logika kombinasional dan Gereja lambda-kalkulus dalam satu set pengaturan matematis yang terbukti dengan baik
- Pendekatan yang terbukti dan subur yang telah dikembangkan selama lebih dari 50 tahun penelitian dan implementasi, dari makalah kunci dalam ilmu komputer teoritis ke salah satu yang pertama

Ide bahasa yang mencakup kombinator Curry dan kalkulus lambda Gereja pertama kali disajikan dalam makalah Boehm Gross "Introduction to the CuCh" dalam Teori Automata
ed. Caianiello, Ass.Press (1966). Algoritma yang memungkinkan pengurangan setiap istilah CuCh
untuk bentuk normal dijelaskan dalam sebuah makalah oleh Corrado BohmDezani "Mesin CuCh: Perlakuan otomatis terhadap variabel terikat" IJCIS (Juni 1972 dan Juni 73).
Setelah Mesin CuCh terkenal dirayakan dengan Wolf Gross (1966), di akhir 80-an
Corrado Bohm melakukan proyek untuk mewujudkan Mesin Cuch yang baru. Beberapa siswa Corrado membantunya dalam proyek ini, khususnya Stefano Guerrini dan salah satu penulisnya
(Luigi Mazzucchelli).

Kemampuannya, portabilitasnya (mis. Ke aplikasi), dan peran potensinya dalam konteks
meluasnya penggunaan paradigma Pemrograman Fungsional menjadikan CuCh salah satu mesin reduksi kunci dalam Ilmu Komputer.