Login / Signup
Call-by-value, call-by-name, and strong normalization for the classical sequent calculus.
Stéphane Lengrand
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
sequent calculus
inference rules
cut elimination
linear logic
modal logic
natural deduction
linear time temporal logic
learning algorithm
high level