You are viewing a single comment's thread. Return to all comments →
[(λz.w)/z]w = w The Right Sort of Tokens
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #2
You are viewing a single comment's thread. Return to all comments →
[(λz.w)/z]w = w The Right Sort of Tokens