1 citations · 1 across the 1 of their papers we have counts for
1 paper
David M. Cerna
The schematic CERES method is a method of cut elimination for proof schemata, that is a sequence of proofs with a recursive construction. Proof schemata can be thought of as a way…