Semantical Paradigms: Notes for an Invited Lecture
It tooke me quite a few years to understand the point of the continuity in denotational semantics. I'm happy to report below on some recent results which justify my muddle-headedness and help to explain the point too. What follows are some global comments on denotational semantics of teh kinds...
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149140 |
| _version_ | 1811077564126461952 |
|---|---|
| author | Meyer, Albert R. Cosmadakis, Stavros S. |
| author_facet | Meyer, Albert R. Cosmadakis, Stavros S. |
| author_sort | Meyer, Albert R. |
| collection | MIT |
| description | It tooke me quite a few years to understand the point of the continuity in denotational semantics. I'm happy to report below on some recent results which justify my muddle-headedness and help to explain the point too. What follows are some global comments on denotational semantics of teh kinds invited lecturers 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. |
| first_indexed | 2024-09-23T10:45:02Z |
| id | mit-1721.1/149140 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:45:02Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1491402023-03-30T03:59:35Z Semantical Paradigms: Notes for an Invited Lecture Meyer, Albert R. Cosmadakis, Stavros S. It tooke me quite a few years to understand the point of the continuity in denotational semantics. I'm happy to report below on some recent results which justify my muddle-headedness and help to explain the point too. What follows are some global comments on denotational semantics of teh kinds invited lecturers 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. 2023-03-29T14:31:33Z 2023-03-29T14:31:33Z 1988-07 https://hdl.handle.net/1721.1/149140 18494402 MIT-LCS-TM-353 application/pdf |
| spellingShingle | Meyer, Albert R. Cosmadakis, Stavros S. Semantical Paradigms: Notes for an Invited Lecture |
| title | Semantical Paradigms: Notes for an Invited Lecture |
| title_full | Semantical Paradigms: Notes for an Invited Lecture |
| title_fullStr | Semantical Paradigms: Notes for an Invited Lecture |
| title_full_unstemmed | Semantical Paradigms: Notes for an Invited Lecture |
| title_short | Semantical Paradigms: Notes for an Invited Lecture |
| title_sort | semantical paradigms notes for an invited lecture |
| url | https://hdl.handle.net/1721.1/149140 |
| work_keys_str_mv | AT meyeralbertr semanticalparadigmsnotesforaninvitedlecture AT cosmadakisstavross semanticalparadigmsnotesforaninvitedlecture |