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

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).
Mots-clés :
Document type :
Journal articles
Domain :

https://hal.inria.fr/inria-00098573
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:37 PM
Last modification on : Friday, April 12, 2019 - 10:18:09 AM

### Identifiers

• HAL Id : inria-00098573, version 1

### 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⟩

Record views