2 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cu…