Abstracting models of strong normalization for classical calculi - Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. (Journal of logical and algebraic methods in programming, 2020)
Keywords: Biorthogonality; Calling convention; MATHEMATICS AND COMPUTING; Sequent calculus; Strong normalization; Symmetric candidates; Strong normalization; Biorthogonality; Calling convention; Symmetric candidates; Sequent calculus