價格：免費
更新日期：2018-11-27
檔案大小：2.3M
目前版本：1.0.27 (27112018)
版本需求：Android 4.0.3 以上版本
官方網站：http://www.thecuchmachine.org
Email：luigi.mazzucchelli@gmail.com
The Boehm CuCh machine is a small but powerful interactive programming system, which is able to function as:
(1) a logical and arithmetical programmable calculator
(2) a functional programming system
(3) a CuCh objects normal form reducer
The CuCh machine represents:
- A formal framework for the synthesis of the Curry combinatory logic and the Church lambda-calculus in a set of well-proven mathematical settings
- A proven and fertile approach that progressed for over 50 years of research and implementations, from key papers in theoretical computer science to one of the rst examples of cross-platforms functional languages with one of the smallest footprint on the market
The idea of a language that includes Curry combinators and Church lambda calculus is first presented in the paper of Boehm Gross "Introduction to the CuCh" in Automata Theory
ed. Caianiello, Ass.Press (1966). An algorithm that allows the reduction of any CuCh term
to normal form is elucidated in a paper of Corrado BohmDezani "The CuCh machine: The automatic treatment of bound variables" IJCIS (June 1972 and June 73).
After the celebrated CuCh Machine devised with Wolf Gross (1966), in the late 80s
Corrado Bohm undertook the project of realizing a new Cuch Machine. Several students of Corrado helped him in this project, in particular Stefano Guerrini and one of the authors
(Luigi Mazzucchelli).
Its capabilities, its portability (e.g. to an App), and its potential role in the context of the
widespread use of Functional Programming paradigm makes the CuCh one of the key reduction machines in Computer Science.