The CuCh Machine

Le Boehm CuCh est un système de programmation interactif petit mais puissant, capable de fonctionner comme:
(1) une calculatrice programmable logique et arithmétique
(2) un système de programmation fonctionnel
(3) un réducteur de forme normale d'objets CuCh

La machine CuCh représente:
- Un cadre formel pour la synthèse de la logique combinatoire de curry et du lambda-calcul de l'église dans un ensemble de paramètres mathématiques bien prouvés
- Une approche éprouvée et féconde développée au cours de 50 années de recherche et de mise en œuvre, allant des principaux articles en informatique théorique à l’un des premiers

L'idée d'un langage incluant des combinateurs de Curry et le calcul lambda de l'Église est d'abord présentée dans l'article de Boehm Gross "Introduction à la CuCh" dans la théorie des automates.
ed. Caianiello, Ass.Press (1966). Un algorithme qui permet la réduction de n'importe quel terme de CuCh
La forme normale est expliquée dans un article de Corrado BohmDezani "La machine de CuCh: le traitement automatique des variables liées" IJCIS (juin 1972 et juin 73).
Après la célèbre machine conçue avec Wolf Gross (1966), à la fin des années 80
Corrado Bohm a entrepris le projet de réaliser une nouvelle machine Cuch. Plusieurs étudiants de Corrado l'ont aidé dans ce projet, notamment Stefano Guerrini et l'un des auteurs.
(Luigi Mazzucchelli).

Ses capacités, sa portabilité (par exemple vers une application) et son rôle potentiel dans le contexte de la
L’usage généralisé du paradigme de la programmation fonctionnelle fait du CuCh l’une des principales machines de réduction en informatique.