?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=D&rft.au=Pym%2C+D&rft.aulast=Pym&rft.atitle=Categorical+Proof-theoretic+Semantics&rft.title=Studia+Logica&rft.date=1+January+2024&rft.issn=0039-3215&rft.genre=article