4 found
Sort by:
  1. Fairouz Kamareddine & Rob Nederpelt (2004). A Refinement of de Bruijn's Formal Language of Mathematics. Journal of Logic, Language and Information 13 (3):287-340.
    We provide a syntax and a derivation system fora formal language of mathematics called Weak Type Theory (WTT). We give the metatheory of WTT and a number of illustrative examples.WTT is a refinement of de Bruijn''s Mathematical Vernacular (MV) and hence:– WTT is faithful to the mathematician''s language yet isformal and avoids ambiguities.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Fairouz Kamareddine, Twan Laan & Rob Nederpelt (2002). Types in Logic and Mathematics Before 1940. Bulletin of Symbolic Logic 8 (2):185-245.
    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-1912) and Church's simply typed λ-calculus of 1940. We first argue that the concept of types has always been present in mathematics, though nobody was incorporating them explicitly as such, before the end of the 19th century. Then we proceed by describing how the logical paradoxes entered the formal systems of Frege, Cantor and Peano concentrating on Frege's (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Fairouz Kamareddine, Roel Bloo & Rob Nederpelt (1999). On Π-Conversion in the Λ-Cube and the Combination with Abbreviations. Annals of Pure and Applied Logic 97 (1-3):27-45.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Twan Laan & Rob Nederpelt (1996). A Modern Elaboration of the Ramified Theory of Types. Studia Logica 57 (2-3):243 - 278.
    The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica [32]. 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 [25], [19], [6] and [7]).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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation