Denotational semantics generally makes use of the techniques of functional programming to describe computer languages, architectures and programs. The mathematics of denotational semantics is usually now formulated within domain theory.
The classic work on the subject is:
Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.