Alan Kay's answer to ‘what are some forgotten books programmers should read?’
Found a great set of slides about early practice vs theory disputes (and their resolution via the mathematical study of PLs, programs, and their semantics) that I found ~looking for pdfs of one of the books Kay mentions: Advances in Programming and Non-Numerical Computation~ I mean searching the internet:<p><a href="https://www.cs.ox.ac.uk/strachey100/slides/2-JS.pdf" rel="nofollow">https://www.cs.ox.ac.uk/strachey100/slides/2-JS.pdf</a>