20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

SKI Combinator Calculus: Model of Computation, Binary Trees, Lambda Calculus, Boolean Logic, Sentential Logic -

English
2026-03-17
€179.62 €224.53

-20% with code BOOKS

In stock at our supplier

Shipping in 15-21 days

30-day return policy

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped Lambda calculus. All operations in Lambda calculus are expressed in SKI as binary trees whose leaves are one of the three symbols S, K, and I (called combinators). In fact, the s ... Full description

You May Also Like

Description

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped Lambda calculus. All operations in Lambda calculus are expressed in SKI as binary trees whose leaves are one of the three symbols S, K, and I (called combinators). In fact, the symbol I is added only for convenience, and just the other two suffice for all of the purposes of the SKI system. Although the most formal representation of the objects in this system requires binary trees, they are usually represented, for typesettability, as parenthesized expressions, either with all the subtrees parenthesized, or only the right-side children subtrees parenthesized. So, the tree whose left subtree is the tree KS and whose right subtree is the tree SK is usually typed as ((KS)(SK)), or more simply as KS(SK), instead of being fully drawn as a tree (as formality and readability would require).

More Information

Publisher OmniScriptum
Release year 2026
Cover type Softcover
EAN 9786130581015
Write Your Own Review
You're reviewing: SKI Combinator Calculus: Model of Computation, Binary Trees, Lambda Calculus, Boolean Logic, Sentential Logic
Your Rating:

Goodreads Reviews

€179.62 €224.53