[TYPES] logical relations

Geoffrey Alan Washburn geoffw at cis.upenn.edu
Wed Jan 25 14:16:24 EST 2006

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