Skip to main content

All Questions

Tagged with
5 votes
1 answer
6k views

Is python lambda "really formal" λ-calculus or just share the name?

Now and then I use the Python lambda. Is it so formal that it is safe to say that you can do formal lambda calculus with it? I just used it but I didn't fully understand whether the python lambda and ...
Niklas Rosencrantz's user avatar