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 WikiGnome''''''s will populate it.

----

CategoryCategory