Timeline for What is lambda calculus related to?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 2, 2010 at 4:39 | history | edited | sleepless in beantown | CC BY-SA 2.5 |
define $\lambda$-operator
|
| Sep 2, 2010 at 3:50 | comment | added | sleepless in beantown | also see Konrad V's comment in this question that says this same thing in a different way: (power x y)= ((powertothe y) x) | |
| Sep 2, 2010 at 3:47 | history | answered | sleepless in beantown | CC BY-SA 2.5 |