[TYPES] logical relations

David Naumann 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
>> think.
>    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 mailing list