cdiggins.com

I added articles to the Cat wiki today on several topics including kind systems, type theory, and Russell’s paradox. Hopefully you find them interesting and informative. Please let me know if anything is confusing or erroneous.

This entry was posted on Friday, April 6th, 2007 at 12:41 am and is filed under Everything. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.