The CuCh Machine

O Boehm CuCh é um sistema de programação interativo pequeno, mas poderoso, que é capaz de funcionar como:
(1) uma calculadora lógica e aritmética programável
(2) um sistema de programação funcional
(3) um redutor de forma normal de objetos CuCh

A máquina CuCh representa:
- Uma estrutura formal para a síntese da lógica combinatória de curry e o lambda-calculus da Igreja em um conjunto de configurações matemáticas bem comprovadas
- Uma abordagem comprovada e fértil que foi desenvolvida ao longo de mais de 50 anos de pesquisa e implementação, desde documentos fundamentais em ciência da computação teórica até um dos primeiros

A idéia de uma linguagem que inclui combinações de Curry e cálculo lambda da Igreja é apresentada pela primeira vez no artigo de Boehm Gross "Introdução ao CuCh" na Teoria das Autômatas.
ed. Caianiello, Ass.Press (1966). Um algoritmo que permite a redução de qualquer termo CuCh
a forma normal é elucidada em um artigo de Corrado BohmDezani "A máquina de CuCh: O tratamento automático de variáveis ​​ligadas" IJCIS (junho 1972 e junho 73).
Depois da célebre CuCh Machine criada com Wolf Gross (1966), no final dos anos 80
Corrado Bohm empreendeu o projeto de realizar uma nova máquina Cuch. Vários alunos de Corrado ajudaram-no neste projeto, em particular Stefano Guerrini e um dos autores
(Luigi Mazzucchelli).

Suas capacidades, sua portabilidade (por exemplo, para um aplicativo) e seu papel potencial no contexto da
O uso generalizado do paradigma de programação funcional faz do CuCh uma das principais máquinas de redução da Ciência da Computação.