Knaster-Tarski (1928)

Layer 0 — Mathematicsin the order-theory subtree

B Knaster 1928 + A Tarski 1955 fixed-point monotone-lattice; modern modern denotational-semantics-fixed-point + program-verification.