Christopher Strachey
One of the founders of denotational semantics and a pioneer in programming language design.
Eric Normand's Newsletter
Software design, functional programming, and software engineering practices
Over 5,000 subscribers
Toward a mathematical semantics for computer languages
PDFPaperA book is also available here