information about Cut-elimination theorem field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 62.9M papers | Mathematics 22.2M papers | Programming language 7.7M papers | Geometry 6.4M papers |
Discrete mathematics 696k papers | Theoretical computer science 626k papers | Mathematical proof 44.3k papers | Natural deduction 2,776 papers |
Linear logic 2,128 papers | Sequent calculus 1,804 papers | ||
Current | |||
Cut-elimination theorem 770 papers | |||
Child | |||
Calculus of structures 0 papers |
Trends
Notes
History