Denotational Semantics with Nominal Scott Domains (Q5501931)
From MaRDI portal
scientific article; zbMATH DE number 6472748
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Denotational Semantics with Nominal Scott Domains |
scientific article; zbMATH DE number 6472748 |
Statements
Denotational Semantics with Nominal Scott Domains (English)
0 references
14 August 2015
0 references
metaprogramming
0 references
denotational semantics
0 references
domain theory
0 references
full abstraction
0 references
nominal sets
0 references
symmetry
0 references
