[TYPES] logical relations

[Nick Benton]

Gordon Plotkin "Lambda definability and logical relations" 1973, I
think.

  Nick

-----Original Message-----
From: types-list-bounces at lists.seas.upenn.edu
[mailto:types-list-bounces at lists.seas.upenn.edu] On Behalf Of Eijiro
Sumii
Sent: 25 January 2006 00:17
To: types at cis.upenn.edu
Cc: sumii at ecei.tohoku.ac.jp
Subject: [TYPES] logical relations

[ The Types Forum,
http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Hello,

I am trying to find who coined the term "logical relations" and the
names "fundamental/main/basic theorem/lemma" (or any combination of
them) for what reason.  I tried to read the original papers, but some
(many?) of them are not quite easy to obtain now...  Does anybody
know?

Thanks,

        Eijiro