information about Denotational semantics field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 55.7M papers | Programming language 7.3M papers | Semantics (computer science) 99.4k papers | Operational semantics 8,771 papers |
| Current | |||
Denotational semantics 3,663 papers | |||
| Child | |||
Well-founded semantics 1,229 papers | Action semantics 902 papers | Axiomatic semantics 521 papers | |
Game semantics 399 papers | Normalisation by evaluation 382 papers | Proof-theoretic semantics 322 papers | |
Trends