1. De Queiroz, R. J. G. B. (2008). On reduction rules, meaning-as-use, and proof-theoretic semantics. Studia Logica, 90(2), 211–247.
2. Derakhshan, F., & Pfenning, F. (2020). Strong progress for session-typed processes in a linear metalogic with circular proofs. Technical report. https://arxiv.org/abs/2001.05132v2
3. Dummett, M. (1991). The logical basis of metaphysics. Duckworth.
4. Francez, N. (2015). Proof-theoretic semantics. College Publications.
5. Gentzen, G. (1935). Untersuchungen über das logische Schließen. I. Mathematische Zeitschrift, 39(1), 176–210.