information about Proof-theoretic semantics 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 | Computational semantics 962 papers | ||
Current | |||
Proof-theoretic semantics 321 papers | |||
Child |
Trends