Proof — 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

People

• Dana Scott

Related

• Theorem: Domain theory
• Proof: Domain theory

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People