Call-by-value, call-by-name, and strong normalization for the classical sequent calculus (0)

by S Lengrand
Venue:Electronic Notes in Theoretical Computer Science