The CuCh Machine

Boehm CuCh는 작지만 강력한 대화식 프로그래밍 시스템으로, 다음과 같은 기능을 수행 할 수 있습니다.
(1) 논리 및 산술 프로그래머블 계산기
(2) 함수 프로그래밍 시스템
(3) CuCh는 정상적인 형태의 감속기를 대상으로한다.

CuCh 기계는 다음을 나타냅니다.
- 잘 입증 된 수학적 설정에서 카레 결합 논리와 교회 람다 - 미적분을 합성하기위한 공식적인 틀
- 이론적 인 컴퓨터 과학의 핵심 논문에서부터 최초의 연구에 이르기까지 50 년 간의 연구 및 구현을 통해 개발 된 검증되고 비옥 한 접근법

카레 결합 자와 교회 람다 미적분을 포함하는 언어의 개념은 Boehm Gross의 "Automat Theory"에서 CuCh 소개
에디션. Caianiello, Ass.Press (1966). CuCh 용어를 줄이기위한 알고리즘
Corduo BohmDezani의 논문 "CuCh machine : 바운드 변수 자동 처리"IJCIS (1972 년 6 월 및 73 년 6 월)
유명한 쿨 (CuCh) 기계가 늑대 그로스 (Wolf Gross, 1966)와 고안 한 후, 80 년대 후반
Corrado Bohm은 새로운 Cuch Machine을 실현하는 프로젝트에 착수했습니다. Corrado의 몇몇 학생들은이 프로젝트에서 그를 도왔습니다. 특히 Stefano Guerrini와 저자 중 한 명
(Luigi Mazzucchelli).

기능, 휴대 성 (예 : 앱) 및
Functional Programming 패러다임의 광범위한 사용은 CuCh를 컴퓨터 과학의 주요 축소 기계로 만든다.