ラムダ計算
ARS-based programming is built on three principles: "Abstraction", "Reference" and "Synthesis". These principles can be seen as a generalized form of the basic operations of the "Lambda calculus". All essential features of a programming language can be derived from ARS even the three major programming paradigms: functional programming, object-oriented programming and imperative programming.