Correction


Subject: Correction
From: Jonathan Edwards (edwards@intranet.com)
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