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

User login

Russell's theory of types

Defines: 
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: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

03B15 no label found

Comments

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"