Proof theory in the abstract (Q5957852): Difference between revisions

This paper gives a purely categorical view of proof theory. The author presents detailed categorical approaches to the Dialectica interpretation and the Diller-Nahm interpretation. The last two sections deal with the problem of coding classical proofs and classical proof theory from a categorical point of view.