Last update: Wed Sep 26 02:11:46 MDT 2018
@Article{Perrier:1998:CGP, author = "Guy Perrier", title = "Corrigendum to {Galmiche}'s and {Perrier}'s {``On proof normalization in linear logic'' [Theoret. Comput. Sci 135(1) (1994) 67--110]}", journal = j-THEOR-COMP-SCI, volume = "206", number = "1--2", pages = "353--354", day = "06", month = oct, year = "1998", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Mon Jul 19 22:22:07 MDT 1999", bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1998&volume=206&issue=1-2; http://www.math.utah.edu/pub/tex/bib/tcs1990.bib", note = "See \cite{Galmiche:1994:PNL}.", URL = "http://www.elsevier.com/cas/tree/store/tcs/sub/1998/206/1-2/2965.pdf", acknowledgement = ack-nhfb, fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", }