[TYPES] logical relations
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
On Jan 24, 2006, at 7:17 PM, Eijiro Sumii wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/
> types-list ]
> 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
More information about the Types-list