Page "Lambda calculus" Paragraph 78
from
Wikipedia
Here, we have < tt >( λx. xx )( λx. xx ) → ( xx ):= λx. xx = ( x := λx. xx )( x := λx. xx ) = ( λx. xx )( λx. xx )</ tt >.
Page 1 of 1.
1.825 seconds.