SK implementation of some data types (Q2763593)

A way of the including primitive data types (numbers, lists, strings, \dots) into the environment of pure combinators is described. Some basic combinators and their reductions rules are mentioned. After that the following data types and corresponding operators are introduced: logical constants, list constants, natural numbers and other data types. Three different equality for the introduced data types are defined too. The authors believe that introducing these data types could increase the efficiency of SK reduction machine implementation.NEWLINENEWLINEFor the entire collection see [Zbl 0977.00022].