Skip to content
scrambled
Programming Language Theory Concept

Domain

Books JourneyProgramming Language Theory Statusmastered Tags
  • order lattice theory
  • set theory relation

INFO

(Set theory & Relation, Order & Lattice theory) A mathematical structure (typically a complete Partial order with a bottom element) used in Denotational semantics to model computation - enables reasoning about recursion, non-termination, and fixed points; values form a lattice where ⊥ represents divergence/undefined.