2 research outputs found
Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''
Article dans revue scientifique avec comité de lecture.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)