[TYPES] logical relations
naumann at cs.stevens.edu
Wed Jan 25 16:55:06 EST 2006
I believe a later version is "Lambda-definability in the full type
hierarchy", in the Curry Festschrift (Seldin and Hindley, eds, 1980).
My copy was obtained by a quaint ritual involving Xerox and the climbing
of stairs in a large building.
On Wed, 25 Jan 2006, Geoffrey Alan Washburn wrote:
> Date: Wed, 25 Jan 2006 14:16:24 -0500
> From: Geoffrey Alan Washburn <geoffw at cis.upenn.edu>
> To: Nick Benton <nick at microsoft.com>
> Cc: sumii at ecei.tohoku.ac.jp, types at cis.upenn.edu,
> Eijiro Sumii <eijiro.sumii at gmail.com>
> Subject: Re: [TYPES] logical relations
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> Nick Benton wrote:
>> Gordon Plotkin "Lambda definability and logical relations" 1973, I
> As far as I have been able to determine, this particular paper is an
> Edinburgh technical report that does not currently exist in a digital
> form. What would be the best to obtain a copy of this document? Is
> there a revised version that was published in a journal?
> [Geoff Washburn|geoffw at cis.upenn.edu|http://www.cis.upenn.edu/~geoffw/]
More information about the Types-list