SKI combinator calculus

The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software.

Source: Wikipedia — SKI combinator calculus (CC BY-SA 4.0)

SKI combinator calculus

The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software.

Source: Wikipedia "SKI combinator calculus" · CC BY-SA 4.0

Share this article: X · Bluesky
Privacy Policy