The CuCh Machine

Boehm CuCh是一個小巧但功能強大的交互式編程系統，可以用作：
（1）邏輯和算術可編程計算器
（2）功能編程系統
（3）CuCh對象正常形式的減速器

CuCh機器代表：
- 在一套經過充分驗證的數學設置中合成咖哩組合邏輯和教會lambda演算的正式框架
- 經過50多年的研究和實施，從理論計算機科學的關鍵論文到第一個

這包括咖哩組合程序和教會演算語言的想法是在自動機理論伯姆總“介紹Cuch”的論文首次提出
編輯。 Caianiello，Ass.Press（1966）。一種允許減少任何CuCh項的算法
Corrado BohmDezani在“The CuCh machine：自動處理束縛變量”IJCIS（1972年6月和6月73日）的論文中闡明了正常形式。
在著名的CuCh機器與Wolf Gross（1966），80年代後期設計
Corrado Bohm承擔了實現新型Cuch Machine的項目。 Corrado的幾名學生幫助他參與了這個項目，特別是Stefano Guerrini和其中一位作者
（Luigi Mazzucchelli）。

它的功能，可移植性（例如應用程序），以及它在環境中的潛在作用
廣泛使用的函數式編程範式，使計算機科學重點減少機器的Cuch之一。