Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic”

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

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science 1998-10, Vol.206 (1-2), p.353-354
1. Verfasser:	Perrier, Guy
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Other
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!