Discussions and debates on language typing (static, dynamic, etc); in particular its applicability to programming and programming languages. See Category Type Theory for pages concerning formal Type Theory, though there is lots of overlap.
Click on this page's title to see a list of all pages in this category.
See original on c2.com 