http://en.wikipedia.org/wiki/Type_theory url of: km#type_theory
No statement uses or specializes http://en.wikipedia.org/wiki/Type_theory; click here to add one.
Another search (with same display options)?