Subject: Correction
From: Jonathan Edwards (
Date: Sun Jan 13 2002 - 18:17:42 EST

Page 58, in the proof of Lemma 6.7, case 1, after "by inductive
hypothesis," insert
"there exists an expression (Lambda X.L) such that".
Replace the "N" at the end of the following formula with
"(Lambda X.L) parallel-reduces-to (Lambda X.N)".

This archive was generated by hypermail 2b28 : Sun Jan 13 2002 - 18:17:16 EST