Corrigendum to Galmiche's and Perrier's "On Proof Normalization in Linear Logic".

Published in: Theor. Comput. Sci. (1998)

Keyphrases

linear logic
proof search
fixed point
cut elimination
proof theoretic
sequent calculus
desirable properties
intuitionistic logic
logical framework
logic programming
sufficient conditions
general purpose