The best replacement for type theory is set theory.

The best alternatives to type theory are rated as following:
★★★★★  set theory
★★★★  trait theory
★★  category theory

Your alternative for type theory is not listed? Suggest!


No companions for type theory have been suggested so far.
You have in mind a companion for type theory and it is not yet here? Propose!



Google Trends

Scale is based on the average worldwide traffic of type theory in all years. Click on graph for more.
type theory
set theory
trait theory