Topic summary
Theory Of Types
Extracted from the Wikipedia article Type theory.
Some type theories have been proposed as alternatives to set theory as a foundation of mathematics. Examples include Alonzo Church's simple theory of types and Per Martin-Löf's intuitionistic type theory.