Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''
Résumé
This note reveals a mistake in a proof of cut elimination in linear logic which uses the framework of the sequent calculus. This proof was published in volume 135 of TCS (1994).