[ 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