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