Pym, D; Ritter, E; Robinson, E; (2024) Categorical Proof-theoretic Semantics. Studia Logica 10.1007/s11225-024-10101-9. (In press). Green open access