The CuCh Machine

Boehm CuCh là một hệ thống lập trình tương tác nhỏ nhưng mạnh mẽ, có khả năng hoạt động như:
(1) một máy tính lập trình logic và số học
(2) một hệ thống lập trình chức năng
(3) một đối tượng CuCh bình thường hình thức giảm tốc

Máy CuCh đại diện cho:
- Một khuôn khổ chính thức để tổng hợp logic kết hợp cà ri và tính toán lambda của Giáo hội trong một tập hợp các thiết lập toán học được chứng minh tốt
- Một cách tiếp cận đã được chứng minh và màu mỡ đã được phát triển hơn 50 năm nghiên cứu và thực hiện, từ các giấy tờ quan trọng trong khoa học máy tính lý thuyết đến một trong những

Ý tưởng về một ngôn ngữ bao gồm các bộ kết hợp Curry và phép tính lambda Church được trình bày lần đầu trong bài báo của Boehm Gross "Giới thiệu về CuCh" trong Lý thuyết Automata
ed. Caianiello, Ass.Press (1966). Một thuật toán cho phép giảm bất kỳ thuật ngữ CuCh nào
hình thức bình thường được làm sáng tỏ trong một bài báo của Corrado BohmDezani "Máy CuCh: Việc xử lý tự động các biến bị ràng buộc" IJCIS (tháng 6 năm 1972 và ngày 73 tháng 6).
Sau khi CuCh Machine nổi tiếng nghĩ ra với Wolf Gross (1966), vào cuối những năm 80
Corrado Bohm đã tiến hành dự án thực hiện một cuch máy mới. Một số sinh viên của Corrado đã giúp anh trong dự án này, đặc biệt là Stefano Guerrini và một trong những tác giả
(Luigi Mazzucchelli).

Khả năng của nó, tính di động của nó (ví dụ như một ứng dụng), và vai trò tiềm năng của nó trong bối cảnh của
việc sử dụng rộng rãi mô hình lập trình chức năng làm cho CuCh trở thành một trong những máy chủ chốt chính trong Khoa học Máy tính.