Pages concerned with
TypeTheory; primarily with the formal branch of mathematics. For debates on how useful it is, and its applicability to particular programmers, you might check out
CategoryLanguageTyping
It's a new category (as of May 12 2005), but hopefully the
WikiGnomes will populate it.
CategoryCategory