Microsoft, which calls its Excel spreadsheet a programming language, reports that an effort called LAMBDA to make it even more of a programming language is paying off, recently being deemed Turing ...
I'm not sure which notation Turing used in his original papers, but I would expect he'd keep using it While I can agree that using such notation is not really very useful when working on real machines ...