SKI Combinator Calculus | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch
37,95 €
SKI Combinator Calculus. SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped Lambda calculus. 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.
Jetzt bei Ebay:
