#Denotational-Semantics
3 posts in tag “Denotational-Semantics”.
Domain Theory: Scott's D∞ Construction, Denotational Semantics, and the Mathematics of Recursive Types
2022-01-15A rigorous exploration of domain theory—Scott's D∞ construction, continuous lattices, the fixpoint theorem, and how domains provide the mathematical foundation for denotational semantics of programming languages.
Domain Theory: Scott's D∞ Construction, Solving Recursive Domain Equations, and the Foundations of Denotational Semantics
2021-12-19An in-depth exploration of domain theory—Scott's construction of a universal domain D∞ isomorphic to its own function space, continuous lattices, and how these ideas gave birth to denotational semantics.
Game Semantics: Fully Abstract Models of PCF, AJM Games, and Strategies as Sheaves
2021-09-30A rigorous exploration of game semantics—the technique that cracked the full abstraction problem for PCF by modeling computation as dialogue between Player and Opponent.