112
Voted
BSL
2002
15 years 2 months ago
2002
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