Studia Logica 57 (2-3):243 - 278 (1996)
The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica . This formalization is close to the ideas of the Principia, but also meets contemporary requirements on formality and accuracy, and therefore is a new supply to the known literature on the Principia (like , ,  and ).As an alternative, notions from the ramified type theory are expressed in a lambda calculus style. This situates the type system of Russell and Whitehead in a modern setting. Both formalizations are inspired by current developments in research on type theory and typed lambda calculus; see .
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Citations of this work BETA
Types in Logic and Mathematics Before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
Similar books and articles
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
A New Interpretation of Russell's Multiple-Relation Theory of Judgment.Gregory Landini - 1991 - History and Philosophy of Logic 12 (1):37-69.
Automated Type-Checking for the Ramiﬁed Theory of Types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Polymorphic Type Checking for the Type Theory of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
The Versatility of Universality inPrincipia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
Added to index2009-01-28
Total downloads21 ( #239,793 of 2,178,142 )
Recent downloads (6 months)1 ( #316,663 of 2,178,142 )
How can I increase my downloads?