[TYPES] logical relations

Robert Harper rwh at cs.cmu.edu
Thu Jan 26 12:01:20 EST 2006

I asked Rick Statman about this, here is his reply:

Actually, the phrase "logical relations" comes from Mike Gordon.
It was told to me by Gordon Plotkin in 1974 who heard it from Mike.
I coined the phrase "fundamental theorem".
I thought the the phrase "logical realtion" was appropriate since
these relations are closed under the logical operations (suitably

Bob Harper

On Jan 24, 2006, at 7:17 PM, Eijiro Sumii wrote:

> [ 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

More information about the Types-list mailing list