Towards an algorithmic construction of cut-elimination procedures.

Agata Ciabattoni Alexander Leitsch

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
wide class
inference rules
high level