Subject: Correction
From: Jonathan Edwards (
Date: Mon Jan 14 2002 - 15:20:22 EST

Pg 46, at the bottom. Remove the alpha from the bottom "=". I think it
is probably meant to go on the equation in the line marked with a
dagger. But I don't think that is quite right either, since as far as I
can see, alpha equivalence as defined only relabels lambda-abstractions,
not open expressions. So we have to explicitly worry about the cases
where X=X0 or X0 is free in N', either handling them separately or
relabeling X0. Am I missing something?

This archive was generated by hypermail 2b28 : Mon Jan 14 2002 - 15:19:30 EST