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

Guy Perrier. Corrigendum to Galmiche s and Perrier s On Proof Normalization in Linear Logic . Theoretical Computer Science, 206(1-2):353-354, 1998. [doi]

Abstract

Abstract is missing.