13 citations · 50 across the 19 of their papers we have counts for
1 paper · 2 filters
David Cerna, Alexander Leitsch
The schematic CERES method [8] is a recently developed method of cut elimination for proof schemata, that is a sequence of proofs with a recursive construction. Proof schemata can…