**Subject: **Correction

**From: **Jonathan Edwards (*edwards@intranet.com*)

**Date: **Mon Jan 14 2002 - 12:40:43 EST

**Reply****Next message:**Matthias Felleisen: "homework 1"**Previous message:**Jonathan Edwards: "Correction"**Next in thread:**Jonathan Edwards: "Correction"**Maybe reply:**Jonathan Edwards: "Correction"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

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]

**Next message:**Matthias Felleisen: "homework 1"**Previous message:**Jonathan Edwards: "Correction"**Next in thread:**Jonathan Edwards: "Correction"**Maybe reply:**Jonathan Edwards: "Correction"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

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