Tag s-combinator - This is page 1 - GeneraCodice

Lambda reductions prove S K = K I

https://www.generacodice.com/en/articolo/7138417/lambda-reductions-prove-s-k-k-i

  lambda  -  lambda-calculus  -  proof-of-correctness  -  s-combinator  -  k-combinator

StackOverflow

Conversion from lambda term to combinatorial term

https://www.generacodice.com/en/articolo/4956215/conversion-from-lambda-term-to-combinatorial-term

  haskell  -  equivalence  -  lambda-calculus  -  s-combinator  -  k-combinator

StackOverflow

S combinator in Erlang

https://www.generacodice.com/en/articolo/3027535/s-combinator-in-erlang

  lambda  -  erlang  -  lambda-calculus  -  s-combinator

StackOverflow

Results found: 3