Name
Abstract | ||
|---|---|---|
ion problem for PCF (see [BCL86, Cur93, Ong95] for surveys).The importance of full abstraction for the semantics of programming languages is that itis one of the few quality filters we have. Specifically, it provides a clear criterion for assessinghow definitive a semantic analysis of some language is. It must be admitted that to datethe quest for fully abstract models has not yielded many obvious applications; but it hasgenerated much of the deepest work in semantics. Perhaps it is early ... |
Year | Venue | Keywords |
|---|---|---|
2014 | Proof, language, and interaction | full completeness |
DocType | Volume | ISSN |
Journal | abs/1401.4735 | In Proof, language, and Interaction, MIT Press, pp. 55-76. 2000 |
ISBN | Citations | PageRank |
0-262-16188-5 | 8 | 0.53 |
References | Authors | |
11 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Samson Abramsky | 1 | 3169 | 348.51 |