↓ Skip to main content

Advances in Proof Theory

Overview of attention for book
Attention for Chapter 10: Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley