List questions from combinatory-logic | MathQA

combinatory basis for head reduction

Published on 13 Apr 2026 - 21:43

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 15 Apr 2026 - 21:05

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

Published on 25 Mar 2026 - 22:04

SKI Calculus prefix notation of odd/even number

Published on 25 Mar 2026 - 20:34

Nondeterminism In Modeling Computation with SKI-combinators

Published on 25 Mar 2026 - 20:41

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

Published on 25 Mar 2026 - 20:40

Beta reducing $SS(SK)$ using SKI calculus

Published on 25 Mar 2026 - 20:32

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