[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear Neel,
Thank you for the info. That is exactly what I was looking for.
Kind regards,
Alejandro
On Fri, 6 Apr 2018 at 14:03 Neel Krishnaswami <
neelakantan.krishnasw...@gmail.com> wrote:
> Hello,
>
> 1. In "The sys
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hello,
1. In "The system F of variable types, fifteen years later", Girard
remarks that there was no particular reason for the name F:
However, in [3] it was shown that the obvious rules of conversion for
this s
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear Type-theorists,
Does anyone know where do the names System "F" and System "T" comes from? I
am not asking who introduced those names (Girard System F, and Gödel System
T), but what the "F" and the "T" means.
Kind r