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