The CuCh Machine

Boehm CuChは小さくても強力なインタラクティブプログラミングシステムで、次のように機能することができます。
（1）論理的かつ算術的にプログラム可能な計算機
（2）機能プログラミングシステム
（3）CuChは通常の形の減速器を対象とする

CuChマシンは、
- よく証明された数学的な設定のセットのカレー結合論理と教会ラムダ計算の合成のための正式なフレームワーク
- 理論的計算機科学の重要論文から最初のものへの50年間にわたる研究と実施により開発された、実証済みで肥沃なアプローチ

カレー結合子と教会ラムダ計算を含む言語のアイデアは、オートマトン理論のBoehm Gross「CuCh入門」の論文に最初に示されている
エド。 Caianiello、Ass.Press（1966）。任意のCuCh期間の短縮を可能にするアルゴリズム
Corrado BohmDezaniによる論文「CuCh機械：結合変数の自動処理」IJCIS（1972年6月および6月73日）の論文で解明されています。
ウルフグロス（1966年）と覚書された有名なCuChマシンの後、80年代後半
Corrado Bohmは新しいCuch Machineを実現するプロジェクトに着手しました。 Corradoの数人の学生がこのプロジェクトで彼を助けました。特にStefano Guerriniと著者の一人
（Luigi Mazzucchelli）。

その機能、移植性（例えば、アプリケーションへの）、および
Functional Programmingパラダイムの普及により、CuChはコンピュータサイエンスのキーリダクションマシンとなっています。