Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic'' - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 1998

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

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).
No file

Dates and versions

inria-00098573 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098573 , version 1

Cite

Guy Perrier. Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''. Theoretical Computer Science, 1998, 206 (1-2), pp.353-354. ⟨inria-00098573⟩
45 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More