DS-2026-13: Sophie Nagler Measuring Meaning via Inference-Behaviour Semantics: A Substructural Approach to Proof-Theoretic Semantics < Back