It's quite possible to argue that lambda calculus is not relevant to software development - I think that's the sort of thing gaius was talking about.