The CuCh Machine

Boehm CuCh, aşağıdaki gibi çalışabilen küçük ama güçlü bir etkileşimli programlama sistemidir:
(1) bir mantıksal ve aritmetik programlanabilir hesap makinesi
(2) fonksiyonel bir programlama sistemi
(3) bir CuCh nesnesi normal form düşürücü

CuCh makinesi şunları temsil eder:
- İyi kanıtlanmış matematiksel ayarların bir kümesinde köri kombinatory mantığı ve Kilise lambda-calculus sentezi için resmi bir çerçeve
- Teorik bilgisayar bilimlerindeki anahtar ödevlerden 50 yıllık bir araştırma ve uygulamaya dayanan kanıtlanmış ve verimli bir yaklaşım.

Körili kombinatorler ve Kilise lambda hesabı içeren bir dil fikri ilk olarak Automata Teorisi'nde "CuCh'ye Giriş" Boehm Gross gazetesinde sunulmuştur.
ed. Caianiello, Ass.Press (1966). Herhangi bir CuCh teriminin azaltılmasına izin veren bir algoritma
bir formda Corrado BohmDezani tarafından "The CuCh machine: Bağımlı değişkenlerin otomatik tedavisi" IJCIS (Haziran 1972 ve Haziran 73) tarafından açıklanmıştır.
80'li yılların sonlarında Wolf Gross (1966) ile tasarlanan ünlü CuCh Machine'den sonra
Corrado Bohm, yeni bir Cuch Makinesinin gerçekleştirilmesi projesini üstlendi. Corrado'nun birkaç öğrencisi, bu projede, özellikle de Stefano Guerrini ve yazarlardan biri olmasına yardım etti.
(Luigi Mazzucchelli).

Özellikleri, taşınabilirliği (örneğin bir uygulamaya) ve bunun bağlamındaki potansiyel rolü
Fonksiyonel Programlama paradigmasının yaygın kullanımı, CuCh'yi Bilgisayar Bilimi'nin anahtar azaltma makinelerinden biri haline getirmektedir.