information about Denotational semantics field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 62.9M papers | Programming language 7.7M papers | Semantics (computer science) 103k papers | Operational semantics 9,604 papers |
Current | |||
Denotational semantics 3,891 papers | |||
Child | |||
Well-founded semantics 1,305 papers | Action semantics 1,037 papers | Axiomatic semantics 593 papers | |
Normalisation by evaluation 447 papers | Game semantics 422 papers | Proof-theoretic semantics 355 papers |
Trends
Notes
History