The CuCh Machine

Boehm CuCh - небольшая, но мощная интерактивная система программирования, которая может функционировать как:
(1) логический и арифметический программируемый калькулятор
(2) функциональная система программирования
(3) объект CuCh нормальный редуктор формы

Машина CuCh представляет собой:
- формальная основа для синтеза комбинаторной логики карри и церковного лямбда-исчисления в наборе хорошо зарекомендовавших себя математических установок
- Доказанный и плодотворный подход, который был разработан за 50 лет исследований и реализации, от ключевых статей теоретической информатики до одной из первых

Идея языка, включающего комбинаторы Карри и исчисления лямбды Церкви, впервые представлена ​​в статье Бема Гросса «Введение в CuCh» в теории автоматов
редактор Caianiello, Ass.Press (1966). Алгоритм, позволяющий уменьшить любой член CuCh
к нормальной форме объясняется в статье Коррадо БомДезани «Машина CuCh: автоматическое лечение связанных переменных» IJCIS (июнь 1972 г. и июнь 73 г.).
После знаменитой машины CuCh, разработанной Вольф Гросс (1966), в конце 80-х
Коррадо Бом предпринял проект по внедрению новой машины Cuch. Несколько учеников Коррадо помогли ему в этом проекте, в частности Стефано Гуэррини и один из авторов
(Луиджи Маццючелли).

Его возможности, мобильность (например, приложение) и его потенциальная роль в контексте
Широкое использование парадигмы функционального программирования делает CuCh одной из ключевых машин сокращения в Computer Science.