Domain theory

A branch of mathematics studying structured sets (domains) with partial orders and continuity, providing foundations for Denotational semantics - particularly for modeling recursion via Fixed-point combinators.