In lambda calculus there are three types of reduction,

  • $\alpha$-renaming

  • $\beta$-reduction

  • $\eta$-conversion

The use of $\eta$ in $\eta$-conversion seems rather strange to me. Since they already used $\alpha$ and $\beta$ I would expect the pattern to be continued with $\gamma$ the third Greek letter, but $\eta$ is used instead.

Why is $\eta$ used in $\eta$-conversion?



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.