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