You are viewing a single comment's thread. Return to all comments →
Is this solution here ?
(lx.(x x)) (lx.(x x)) => (lx.(x x))(ly.(y y)) (since right one is independent) => (ly.(y y)) (ly.(y y)) (Infinite loop)
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #3
You are viewing a single comment's thread. Return to all comments →
Is this solution here ?
(lx.(x x)) (lx.(x x)) => (lx.(x x))(ly.(y y)) (since right one is independent) => (ly.(y y)) (ly.(y y)) (Infinite loop)