List questions from combinatory-logic | MathQA

combinatory basis for head reduction

Published on 21 Mar 2012 - 20:33

Prove that all combinators must fulfill A x = x for some x, given that M x = x x and composability of any two combinators

Published on 02 Jan 2013 - 5:42

Proof for $\frac{b}{h}=\frac{c(c-1)}{k(k-1)}$, a combinatorial identity

Published on 18 Dec 2020 - 6:49

SKI Calculus prefix notation of odd/even number

Published on 27 Jan 2021 - 22:46

Nondeterminism In Modeling Computation with SKI-combinators

Published on 08 May 2021 - 15:22

Doesn't lambda K-calculus include lambda I-calculus?

Published on 05 Jun 2021 - 18:06

Beta reducing $SS(SK)$ using SKI calculus

Published on 11 Jun 2021 - 9:49

Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in an nLab page. Need a double check.

Published on 25 Mar 2026 - 10:56