information about Calculus of structures field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Geometry of interaction 0 papers | Deep inference 0 papers | Structural proof theory 1,197 papers | Cut-elimination theorem 766 papers |
| Current | |||
Calculus of structures papers | |||
| Child | |||
Trends
Notes
History