3 ms·
I don't know why you think that; it's really, really important that lambda terms are not functions. Bertrand Russell would explode if I tried to write f(f) for
by Darmani 16y ago
I don't know why you think that; it's really, really important that lambda terms are not functions. Bertrand Russell would explode if I tried to write f(f) for any function f.
- eru 16y agoJust used typed lambda calculus if you want to avoid that.