Page "Lambda calculus" Paragraph 79
from
Wikipedia
That is, the term reduces to itself in a single beta reduction, and therefore reduction will never terminate.
Page 1 of 1.
2.178 seconds.