Help


from Wikipedia
« »  
Here, we have < tt >( λx. xx )( λx. xx ) → ( xx ):= λx. xx = ( x := λx. xx )( x := λx. xx ) = ( λx. xx )( λx. xx )</ tt >.

1.825 seconds.