information about Normalisation by evaluation field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 54.8M papers | Programming language 7.2M papers | Semantics (computer science) 97k papers | Operational semantics 8,679 papers |
Denotational semantics 3,625 papers | |||
| Current | |||
Normalisation by evaluation 382 papers | |||
| Child | |||
Trends
Notes
History