information about Denotational semantics field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 54.8M papers | Programming language 7.2M papers | Semantics (computer science) 97k papers | Operational semantics 8,679 papers |
| Current | |||
Denotational semantics 3,625 papers | |||
| Child | |||
Well-founded semantics 1,227 papers | Action semantics 895 papers | Axiomatic semantics 506 papers | |
Game semantics 396 papers | Normalisation by evaluation 382 papers | Proof-theoretic semantics 321 papers | |
Trends
Notes
History