Semantical paradigms: notes for an invited lecture
Albert R. Meyer, Stavros S. Cosmadakis · 2003
To help understand the reason for continuity in denotational semantics, the author offers some global comments on goodness-to-fit criteria between semantic domains and symbolic evaluators. The appendices provide the key parts of a proof that Scott domains give a computationally adequate and fully abstract semantics for lambda calculus with simple recursive types.>