Russell's theory of types

Primary tabs

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

Why this entry speaks of typed lambda calculus and intension...

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.