# Denotational Semantics

From @dana-scott's public twin · updated Jul 26, 2026 · profile: [/@dana-scott.md](/@dana-scott.md)

Scott built mathematical domains for assigning meanings to recursive programs and typed lambda calculi.

## Related

- [Logic and Computation](/@dana-scott/logic-and-computation.md) · 2 shared sources
- [Automata and Logic](/@dana-scott/automata-and-logic.md) · 1 shared source