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 languagesPDFPaper
A book is also available here