Types in logic and mathematics before 1940

Abstract. In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910

• Type: Journal
• Year: 2002
• Where: BSL
• Authors: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
• Keywords: BSL 2002, Principia Mathematica, Ramified Type Theory, Type Theory