http://en.m.wikipedia.org/wiki/Type_theory http://en.m.wikipedia.org/wiki/Type_theory Wikipedia and Google are quick ways to answer most kinds of "what is X?"

http://en.m.wikipedia.org/wiki/Type_theory http://en.m.wikipedia.org/wiki/Type_theory Wikipedia and Google are quick ways to answer most kinds of "what is X?" questions.