Fork me on GitHub
Math for the people, by the people.

User login

Russell's theory of types

type theory, ramified type theory, simple type theory, axiom of reducibility, stratification, NF, theory of types, simple theory of types, ramified theory of types
Type of Math Object: 
Major Section: 

Mathematics Subject Classification

03B15 no label found


There is in this entry a bit of information that surely deserves it's own entry. Modern type systems, typed lambda calculi and intensional logic should all be defined and described in entries of their own. If I have the time, I'll write these.

Subscribe to Comments for "Russell's theory of types"