The CuCh Machine

Boehm CuCh เป็นระบบเขียนโปรแกรมเชิงโต้ตอบขนาดเล็ก แต่ทรงพลังซึ่งสามารถทำงานได้:
(1) เครื่องคิดเลขแบบลอจิคัลและเลขคณิต
(2) ระบบการเขียนโปรแกรมที่ทำงานได้
(3) CuCh เป็นวัตถุลดรูปแบบปกติ

เครื่อง CuCh แสดงถึง:
- กรอบที่เป็นทางการสำหรับการสังเคราะห์ของตรรกะ combinatory แกงและคริสตจักรแลมบ์ดาแคลคูลัสในชุดของการตั้งค่าทางคณิตศาสตร์ที่ได้รับการพิสูจน์แล้ว
- วิธีการพิสูจน์และอุดมสมบูรณ์ที่ได้รับการพัฒนามานานกว่า 50 ปีของการวิจัยและการดำเนินงานจากเอกสารสำคัญในวิทยาการคอมพิวเตอร์ทางทฤษฎีไปเป็นหนึ่งใน

ความคิดของภาษาที่มีส่วนประกอบของ Curry combinators และแคลคูลัส Church lambda เป็นการนำเสนอครั้งแรกในบทความเรื่อง "Introduction to the CuCh" ของ Boehm Gross ในทฤษฎี Automata
เอ็ด Caianiello, Ass.Press (1966) อัลกอริทึมที่ช่วยลดระยะ CuCh ใด ๆ
รูปแบบปกติจะถูกอธิบายในกระดาษโดย Corrado BohmDezani "เครื่อง CuCh: การรักษาตัวแปรที่ถูกผูกมัดโดยอัตโนมัติ" IJCIS (มิถุนายน 2515 และมิถุนายน 2548)
หลังจากที่มีการเฉลิมฉลองเครื่อง CuCh วางแผนกับ Wolf Gross (1966) ในช่วงปลายยุค 80
Corrado Bohm รับหน้าที่โครงการของการตระหนักถึงเครื่อง Cuch ใหม่ นักเรียนหลายคนของ Corrado ช่วยเขาในโครงการนี้โดยเฉพาะ Stefano Guerrini และเป็นหนึ่งในผู้เขียน
(Luigi Mazzucchelli)

ความสามารถความสามารถในการพกพา (เช่นแอป) และบทบาทที่อาจเกิดขึ้นในบริบทของ
การใช้กระบวนทัศน์การเขียนโปรแกรมการทำงานอย่างแพร่หลายทำให้ CuCh เป็นหนึ่งในเครื่องลดความสำคัญของวิทยาการคอมพิวเตอร์