All Questions
1 question
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 ...