The CuCh Machine

El Boehm CuCh es un sistema de programación interactivo pequeño pero poderoso, que puede funcionar como:
(1) una calculadora programable lógica y aritmética
(2) un sistema de programación funcional
(3) un reductor de forma normal de objetos CuCh

La máquina CuCh representa:
- Un marco formal para la síntesis de la lógica combinatoria del curry y el cálculo lambda de la Iglesia en un conjunto de configuraciones matemáticas bien probadas.
- Un enfoque probado y fértil que se ha desarrollado a lo largo de 50 años de investigación e implementación, desde documentos clave en informática teórica hasta uno de los primeros.

La idea de un lenguaje que incluye los combinadores de curry y el cálculo lambda de la iglesia se presenta por primera vez en el documento de Boehm Gross "Introducción al CuCh" en Teoría de autómatas.
ed. Caianiello, Ass.Press (1966). Un algoritmo que permite la reducción de cualquier término CuCh.
La forma normal se explica en un artículo de Corrado BohmDezani "La máquina CuCh: el tratamiento automático de las variables ligadas" IJCIS (junio de 1972 y junio de 73).
Después de la célebre máquina CuCh ideada con Wolf Gross (1966), a finales de los 80
Corrado Bohm emprendió el proyecto de realizar una nueva Máquina Cuch. Varios estudiantes de Corrado lo ayudaron en este proyecto, en particular Stefano Guerrini y uno de los autores.
(Luigi Mazzucchelli).

Sus capacidades, su portabilidad (por ejemplo, a una aplicación) y su papel potencial en el contexto de la
El uso generalizado del paradigma de Programación Funcional hace del CuCh una de las máquinas de reducción clave en Informática.