Correction

Subject: Correction
From: Jonathan Edwards (edwards@intranet.com)
Date: Sun Jan 13 2002 - 18:17:42 EST

New Message
• Reply
• Next message: Jonathan Edwards: "Correction"
• Previous message: Matthias Felleisen: "Re: 46 and 47?"
• Next in thread: Jonathan Edwards: "Correction"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

• Next message: Jonathan Edwards: "Correction"
• Previous message: Matthias Felleisen: "Re: 46 and 47?"
• Next in thread: Jonathan Edwards: "Correction"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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