Christopher Strachey
One of the founders of denotational semantics and a pioneer in programming language design.
Sign up for weekly Clojure tips, software design, and a Clojure coding challenge.

From OO to Clojure Workshop!
Watch my free workshop to help you learn Clojure faster and shift your paradigm to functional.
Toward a mathematical semantics for computer languages
PDFPaperA book is also available here