Denotational semantics

A style of semantics that gives meanings to terms compositionally by mapping them to mathematical objects that possess interesting behaviors.