LCS Publication Details
Publication Title: SEMANTICAL PARADIGMS: NOTES FOR AN INVITED LECTURE
Publication Author: Meyer, Albert R.
Additional Authors: with Two Appendices by Cosmadakis, Stavros S.
LCS Document Number: MIT-LCS-TM-353
Publication Date: 7-1-1988
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
It took me quite a few years to understand the point of continuity in denotational semantics. I'm happy to report below on some recent results which justify my muddle-headedness and help explain the point too. What follows are some global comments on denotational semantics of the invited lectures sometimes indulge themselves in, highlighting "goodness of fit" criteria between semantic domains and symbolic evaluators. For readers impatient with sketchy overviews, two appendices mostly by Cosmadakis provide the key parts of a long proof that Scott domains give a computationally adequate and fully abstract semantics for lambda calculus with simple recursive types.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.