Trafford, J. 2015. An Interactive Approach to Proof-Theoretic Semantics. Proceedings of the Amsterdam Colloquium. (Dec. 2015), 408–417.