SKI combinator calculus

• abstract: SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped lambda calculus. It can be thought of as a computer programming language, though it is not useful for writing software.

以上来源于: WordNet