[TYPES] logical relations

[Geoffrey Alan Washburn]

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/]