3 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
K. Dosen
In general proof theory there are two approaches to the question of identity criteria for proofs. The first approach, which stems from Prawitz, Kreisel and Lambek, and is based on…