Scott 1971-1972 directed-complete-partial-order with bottom; basis of denotational-semantics for lambda-calculus + recursive-function definition; Scott-continuity = preserving sups of directed sets.
Scott 1971-1972 directed-complete-partial-order with bottom; basis of denotational-semantics for lambda-calculus + recursive-function definition; Scott-continuity = preserving sups of directed sets.