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