information about Denotational semantics field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 61.9M papers | Programming language 7.6M papers | Semantics (computer science) 101k papers | Operational semantics 9,554 papers |
Current | |||
Denotational semantics 3,870 papers | |||
Child | |||
Well-founded semantics 1,302 papers | Action semantics 1,031 papers | Axiomatic semantics 592 papers | |
Normalisation by evaluation 443 papers | Game semantics 417 papers | Proof-theoretic semantics 353 papers |
Trends
Notes
History