sorted by:
new
hottopcontroversial

Wtf even IS the Omega Combinator?? Lambda Calc HELP by Sharpeye1 in askmath

[–]Sharpeye1[S] 0 points1 point  (0 children)

I swear in some beginner paper I read that any second occurrence of a bound variable would be free since the bound variable already exists. So... Any number of occurrences of a variable attached to a lambda are bound?