Use this resource - and many more! - in your textbook!
AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.
Semantical paradigms: notes for an invited lecture
By: Cosmadakis, S.S.; Meyer, A.R.;
1988 / IEEE / 0-8186-0853-6
This item was taken from the IEEE Periodical ' Semantical paradigms: notes for an invited lecture ' 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.<
Lambda Calculus With Simple Recursive Types
Computationally Adequate Semantics