[TYPES] System F and System T names

Alejandro Díaz-Caro alejandro at diaz-caro.info
Fri Apr 6 07:07:19 EDT 2018

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,


More information about the Types-list mailing list