Correction


Subject: Correction
From: Jonathan Edwards (edwards@intranet.com)
Date: Mon Jan 14 2002 - 12:40:43 EST


On pg 42, Proof of Theorem 5.2, Case N=(Lambda Y.N')
The argument doesn't hold when Y=X.
It is a simple equality in that case:
(Lambda Y.N')[X<--M]
= (Lambda X.N')[X<--M]
= (Lambda X.N')
= (Lambda X.N')[X<--L]
= (Lambda Y.N')[X<--L]



This archive was generated by hypermail 2b28 : Mon Jan 14 2002 - 12:39:49 EST