[TYPES] System F and System T names

Alejandro Díaz-Caro <alejandro-bV/[email protected]> Fri, 06 Apr 2018 11:07:19 +0000

Newsgroups	gmane.comp.science.types
Message-ID	<CAGvJX+y9dYNxp6Hii8krNNhb5ip4GM2QniQYHaZRe_u1iaLOig@mail.gmail.com>

[ 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 regards,
Alejandro
-- 

http://diaz-caro.web.unq.edu.ar