Maps II: Chasing diagrams in categorical proof theory (J. of the IGPL, 1996)

(untitled) - Pavlovic, D