Domain theory
Statement
Scott domains; denotational semantics; lambda calculus. Proved in ZFC.
Source
ACM Turing Award 1976. Scott domains; denotational semantics; lambda calculus. Proved in ZFC.
Domains
computer-science
Scott domains; denotational semantics; lambda calculus. Proved in ZFC.
ACM Turing Award 1976. Scott domains; denotational semantics; lambda calculus. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/scott-turing-1976/