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.