SCombinator

[system]

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

[zz1]

SCombinator
hello,

please can someone tell me why this is called the “SCombinator” ? I missed the beginning of the lab.

thanks

[Jazzpirate]

---

We didn’t actually talk about that, but the reason is that it’s related to this thing:
https://en.wikipedia.org/wiki/SKI_combinator_calculus

by exploiting a correspondence between function types and implications (by which function application in a lambda calculus corresponds to implication-elimination). It’s not really important though