Category Type Theory
Category Type TheoryPages 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.
EditText of this page
(last edited May 13, 2005)
or FindPage with title or text search