Denotational semantics with nominal scott domains
- Submitting institution
-
University of Cambridge
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1897
- Type
- D - Journal article
- DOI
-
10.1145/2629529
- Title of journal
- Journal of the ACM
- Article number
- ARTN 27
- First page
- 1
- Volume
- 61
- Issue
- 4
- ISSN
- 0004-5411
- Open access status
- Out of scope for open access requirements
- Month of publication
- January
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 2
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Full version of a conference article in the 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2013). The conference paper was rated by the POPL program committee to be one of the best submitted and the authors were invited by the Journal of the ACM to submit a full version of the work. The paper develops and applies a novel version of Scott-Plotkin domain theory incorporating the nominal techniques developed by the second author for which he received the 2019 Alonzo Church Award. The first author was the second author's PhD student.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -