On the semantics of proofs in classical sequent calculus. - Fabio Massaioli (CoRR, 2023)