Rechnen mit Kombinatoren

• Standard-Basis: Kxy→x, Ix→x, Sxyz→xz(yz)
• Tupel : 〈A₁,…, A_n〉 : = λx.xA₁…A_n
• Projektionen: Pⁿ_i〈A₁,…, A_n〉→A_i
• X = 〈K, S, K〉
• XXX→?, X(XX)→?
• Zahlen (nach Church): [n] : = λfx.fⁿ(x)
• Nachfolger? Summe?

(Barendregt, S. 140, 166)