Type theorists

Gottlob Frege Bertrand Russel Stephen Kleene Emil Post Ludwig Wittgenstein Leon Chwistek Frank P. Ramsey Alonzo Church Kurt Gödel Haskell Curry William Alvin Howard Nicolaas Govert de Bruijn Per Martin-Löf Willard Van Orman Quine

https://en.wikipedia.org/wiki/Gottlob_Frege https://en.wikipedia.org/wiki/Bertrand_Russel https://en.wikipedia.org/wiki/Stephen_Kleene https://en.wikipedia.org/wiki/Emil_Post https://en.wikipedia.org/wiki/Ludwig_Wittgenstein https://en.wikipedia.org/wiki/Leon_Chwistek https://en.wikipedia.org/wiki/Frank_P._Ramsey https://en.wikipedia.org/wiki/Alonzo_Church https://en.wikipedia.org/wiki/Kurt_G%C3%B6del https://en.wikipedia.org/wiki/Haskell_Curry https://en.wikipedia.org/wiki/William_Alvin_Howard https://en.wikipedia.org/wiki/Nicolaas_Govert_de_Bruijn https://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f https://en.wikipedia.org/wiki/Willard_Van_Orman_Quine