2017
DOI: 10.48550/arxiv.1707.03762
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Revisiting Elementary Denotational Semantics

Abstract: Operational semantics have been enormously successful, in large part due to its flexibility and simplicity, but they are not compositional. Denotational semantics, on the other hand, are compositional but the lattice-theoretic models are complex and difficult to scale to large languages. However, there are elementary models of the λ-calculus that are much less complex: by Coppo, Dezani-Ciancaglini, and Salle (1979), Engeler (1981), and Plotkin (1993. This paper takes first steps toward answering the question: … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 48 publications
(73 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?