From professional translators, enterprises, web pages and freely available translation repositories.
(k "x")]): = (s (k (s i)) k) (by η-reduction)this combinator is equivalent to the earlier, longer one:: (s (k (s i)) k "x" "y"): = (k (s i) "x" (k "x") "y"): = (s i (k "x") "y"): = (i "y" (k "x" "y")): = ("y" (k "x" "y")): = ("y" "x")similarly, the original version of the "t"[ ] transformationtransformed the identity function "λf"."λx".
(x z) (y z)często wprowadza się też kombinator identyczności i z regułą:* (i α) → αponieważ system sk już jest kompletny, kombinator ten można przepisać jako (sk)k:* (((s k) k) α) → ((k α) (k α)) → αpodobnie jak w rachunku lambda zwykle pomija się nadmiarowe nawiasy, zakładając wiązanie w lewo: α β γ to więc ((α β) γ).
