information about Normalisation by evaluation field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 56.2M papers | Programming language 7.4M papers | Semantics (computer science) 99.5k papers | Operational semantics 8,762 papers |
Denotational semantics 3,651 papers | |||
Current | |||
Normalisation by evaluation 384 papers | |||
Child |
Trends