information about Cut-elimination theorem field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 61.9M papers | Mathematics 21.8M papers | Programming language 7.6M papers | Geometry 6.3M papers |
Discrete mathematics 685k papers | Theoretical computer science 609k papers | Mathematical proof 43.7k papers | Natural deduction 2,760 papers |
Linear logic 2,113 papers | Sequent calculus 1,785 papers | ||
| Current | |||
Cut-elimination theorem 760 papers | |||
| Child | |||
Calculus of structures 0 papers | |||
Trends
Notes
History