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

Guy Perrier 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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).
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 1998, 206 (1-2), pp.353-354
Liste complète des métadonnées

https://hal.inria.fr/inria-00098573
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:37
Dernière modification le : jeudi 17 mai 2018 - 12:52:03

Identifiants

  • HAL Id : inria-00098573, version 1

Collections

Citation

Guy Perrier. Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''. Theoretical Computer Science, Elsevier, 1998, 206 (1-2), pp.353-354. 〈inria-00098573〉

Partager

Métriques

Consultations de la notice

110