MoL-2026-10: Matteo Celli A Study of Proof-theoretic Harmony in Multilateral Sequent Calculus 1.Full Text, 2.Abstract. < Back
