information about Proof-theoretic 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 |
Denotational semantics 3,625 papers | Computational semantics 964 papers | ||
| Current | |||
Proof-theoretic semantics 321 papers | |||
| Child | |||
Trends
Notes
History